theorem Th38: :: SPPOL_2:38

for p, q being Point of (TOP-REAL 2) st ( p `1 = q `1 or p `2 = q `2 ) holds
<*p,q*> is special