theorem Th42: :: ANPROJ_8:48

for p being Point of (TOP-REAL 3) holds
( (0. (TOP-REAL 3)) <X> p = 0. (TOP-REAL 3) & p <X> (0. (TOP-REAL 3)) = 0. (TOP-REAL 3) )