theorem Th37: :: ANPROJ_8:43

for p, q, r being Point of (TOP-REAL 3) holds
( p,q,r are_LinDep iff |{p,q,r}| = 0 )