theorem Th06: :: ANPROJ_9:5

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
( Col (A,1) = <*a11,a21,a31*> & Col (A,2) = <*a12,a22,a32*> & Col (A,3) = <*a13,a23,a33*> )