theorem Th4: :: ANPROJ_8:5

for a, b, c being Real
for N being Matrix of 3,1,F_Real st N = <*<*a*>,<*b*>,<*c*>*> holds
Col (N,1) = <*a,b,c*>