שינויים

יש להסביר מדוע <math>[K:K \cap H] | [KH:H]</math> ע"י הפונקציה שנבנתה בתרגיל הבית הקודם ועל-ידי שימוש בנורמליות ובחבורות מנה.

לסיום, יש להשתמש בהנחה <math>|K|=|H|</math> כדי להסביר מדוע <math>[K:K\cap H]=[H:K \cap H]</math>, ומשם הדרך לסתירה המיוחלת אינה רחוקה.