Proof of a Conjecture by Lewandowski and Thiemann

It is proven that for compact, connected and semisimple structure groups every degenerate labelled web is strongly degenerate. This conjecture by Lewandowski and Thiemann implies that diffeomorphism invariant operators in the category of piecewise smooth immersive paths preserve the decomposition of the space of integrable functions w.r.t. the degeneracy and symmetry of the underlying labelled webs. This property is necessary for lifting these operators to well-defined operators on the space of diffeomorphism invariant states.