יש להסביר מדוע <math>[K:K \cap H] | [KH:H]</math> ע"י הפונקציה שנבנתה בתרגיל הבית הקודם ועל-ידי שימוש בנורמליות ובחבורות מנה.
לסיום, יש להשתמש בהנחה <math>|K|=|H|</math> כדי להסביר מדוע <math>[K:K\cap H]=[H:K \cap H]</math>, ומשם הדרך לסתירה המיוחלת אינה רחוקה.
==תרגיל 8==
להגשה ב1.1 או ב4.1 בהתאם לשיעור התרגיל
[[מדיה: תרגיל_8.pdf| תרגיל בית 8]]