theorem Th36: :: ANPROJ_8:42

for p, q, r being Point of (TOP-REAL 3) st |{p,q,r}| = 0 holds
ex a, b, c being Real st
( ((a * p) + (b * q)) + (c * r) = 0. (TOP-REAL 3) & ( a <> 0 or b <> 0 or c <> 0 ) )