theorem Th10: :: SPRECT_2:10

for X being compact Subset of (TOP-REAL 2)
for p being Point of (TOP-REAL 2) st p in X & p `2 = N-bound X holds
p in N-most X