theorem Th05: :: ANPROJ_9:4

for a11, a12, a13, a21, a22, a23, a31, a32, a33 being Element of F_Real
for A being Matrix of 3,F_Real st A = <*<*a11,a12,a13*>,<*a21,a22,a23*>,<*a31,a32,a33*>*> holds
( Line (A,1) = <*a11,a12,a13*> & Line (A,2) = <*a21,a22,a23*> & Line (A,3) = <*a31,a32,a33*> )