theorem
Th10
:
:: JORDAN8:10
for
T
being non
empty
Subset
of
(
TOP-REAL
2
)
for
n
being
Nat
holds
len
(
Gauge
(
T
,
n
)
)
>=
4