theorem Th5: :: JORDAN22:5

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