משפט 1: יש תרומות קבועות, resp. בלתי סדירות, חיוניות מקבוצות נוסחה _ 11 עם abelianizations נוסחה _ 285 של הסוגים משפט 2: יש תרומות קבועות, או לא סדירות, חיוניות מקבוצות נוסחה 11 עם Abelianizations נוסחה 285 של סוגים שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
כן, כן.