theorem Th7: :: JORDAN22:7

for R being non empty Subset of (TOP-REAL 2)
for n being Nat holds [2,1] in Indices (Gauge (R,n))