for E being compact non horizontal non vertical Subset of (TOP-REAL 2)
for n being Nat holds Center (Gauge (E,n)) = (2 |^ (n -' 1)) + 2