שימו לב שמדובר ב-n נתון מראש. בנוסף - יש להראות ש <math>G^n</math> היא תת-חבורה של <math>G</math>. בסעיף א' ובכל שאר הסעיפים מדובר באותו n שמופיע בנתון.
== 5.4.10 ==
אם אתם מתסבכים אם <math>U_15</math>, ניתן לקחת חבורה אחרת. הצעה - קחו <math>\mathbb{Z}_2\times\mathbb{Z}_4</math>. (שהיא איזומורפית ל <math>U_{15}</math> )