theorem Th56: :: ANPROJ_8:68

( Line ((1. (F_Real,3)),1) = <*1,0,0*> & Line ((1. (F_Real,3)),2) = <*0,1,0*> & Line ((1. (F_Real,3)),3) = <*0,0,1*> )