::טוב, עכשיו אני לא בטוח שהבנתי את הדרישה, תקן אותי אם אני טועה: צריך להוכיח שאם יש לי חבורה G ולה יש תת חבורה H, אז אם S היא תת חבורה של H, זה גורר ש-H נורמלית ב-G.
::אם אכן ניסחתי נכון את הדרישה - אז אני לא מבין איך טענה כזאת יכולה להיות נכונה?
::נגזר מהטענה הזאת ש'''כל תת חבורה היא נורמלית'''.
::הרי תת חבורת הקומוטטורים זו תת חבורה שאני יכול להגדיר '''על כל חבורה/תת חבורה'''. (אני פשוט לוקח כל שני איברים <math>x,y</math> בתת חבורה הנתונה, ומגדיר איבר חדש <math>x_{-1}, y^{-1}xy</math>. במקרה הכי גרוע שבו החבורה שלי אבלית - אני אקבל ש-S טריוויאלית (אבל אז ברור שכל תת חבורה נורמלית).
::אז מה, כל תתי החבורות הן נורמליות?