theorem Th13: :: SPRECT_2:13

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