theorem Th33: :: JGRAPH_1:33

for p being Point of (TOP-REAL 2) holds
( |.(p `1).| <= |.p.| & |.(p `2).| <= |.p.| )