for C being connected compact non horizontal non vertical Subset of (TOP-REAL 2)
for n being Nat st ex i, j being Nat st
( i <= len (Gauge (C,n)) & j <= width (Gauge (C,n)) & cell ((Gauge (C,n)),i,j) c= BDD C ) holds
n >= 1