theorem Th11: :: SPRECT_2:11

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