theorem Th35: :: JORDAN1G:35

for C being connected compact non horizontal non vertical Subset of (TOP-REAL 2)
for n, i being Nat st 1 <= i & i <= width (Gauge (C,n)) & n > 0 holds
((Gauge (C,n)) * ((Center (Gauge (C,n))),i)) `1 = ((W-bound C) + (E-bound C)) / 2