theorem Th69: :: ANPROJ_8:85
for p being FinSequence of 1 -tuples_on REAL st len p = 3 holds
F2M (M2F p) = p