theorem Th35: :: ANPROJ_8:41

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