for D being non empty set
for pf being FinSequence of D
for pr being Element of REAL 3 st pf = pr holds
MXR2MXF (ColVec2Mx pr) = <*pf*> @