theorem Th49: :: ANPROJ_8:59

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