theorem Th01: :: ANPROJ_9:1

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