let E be compact non horizontal non vertical Subset of (TOP-REAL 2); :: thesis: not cell ((Gauge (E,0)),2,2) c= BDD E
assume A1: cell ((Gauge (E,0)),2,2) c= BDD E ; :: thesis: contradiction
E c= cell ((Gauge (E,0)),2,2) by Th18;
then A2: E c= BDD E by A1, XBOOLE_1:1;
consider e being Element of E;
A3: BDD E misses E by JORDAN1A:15;
e in E ;
hence contradiction by A2, A3, XBOOLE_0:3; :: thesis: verum