theorem Th7: :: ANPROJ11:7

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