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