theorem Th22: :: ANPROJ_8:25

for p, q, r being Point of (TOP-REAL 3)
for M being Matrix of 3,F_Real st M = <*<*(p `1),(p `2),(p `3)*>,<*(q `1),(q `2),(q `3)*>,<*(r `1),(r `2),(r `3)*>*> holds
( Line (M,1) = p & Line (M,2) = q & Line (M,3) = r )