theorem :: JORDAN1A:28

for n being Nat
for D being non empty Subset of (TOP-REAL 2) holds width (Gauge (D,n)) = (2 |^ n) + 3