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