for u, v, w being non zero Element of (TOP-REAL 3) st |{u,v,w}| = 0 holds
ex p being non zero Element of (TOP-REAL 3) st
( |(p,u)| = 0 & |(p,v)| = 0 & |(p,w)| = 0 )