theorem Th65: :: ANPROJ_8:80

for p being FinSequence of REAL st p = |[0,0,0]| holds
F2M p = <*<*0*>,<*0*>,<*0*>*>