theorem
Th9
:
:: JORDAN8:9
for
C
being non
empty
compact
Subset
of
(
TOP-REAL
2
)
holds
(
C
is
horizontal
iff
N-bound
C
<=
S-bound
C
)