Proposition

Proposition 11. For every ε>0 , the oriented edges of X admit labels h_e∈H such that h_ e =h_e^ -1 , |h_e-1|<ε, the product around every triangular two-cell is 1 , and the product around some closed edge path is different from 1 .