theorem Th48: :: ANPROJ_8:58

for u, v, w, x being Element of (TOP-REAL 3) st not u is zero & not x is zero & Dir u = Dir x holds
( |{u,v,w}| = 0 iff |{x,v,w}| = 0 )