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