Věta 1: Existují pravidelné, resp. nepravidelné, podstatné příspěvky ze skupin formule _ 11 s abelianizations formule _ 285 z typů Věta 2: Existují pravidelné nebo nepravidelné, podstatné příspěvky ze skupin ve vzorci 11 s Abelianizations Formula 285 typu Otázka: Vyjadřují věta 1 a věta 2 stejný význam? Ano nebo ne?
Ano, ano.