theorem Th47: :: ANPROJ_8:55

for p, q, r, s being Point of (TOP-REAL 3) st not p is zero & |(p,q)| = 0 & |(p,r)| = 0 & |(p,s)| = 0 holds
|{q,r,s}| = 0