for X being strict VectSp of F_Real holds RLSp2RVSp (RVSp2RLSp X) = X ;