מספיק להוכיח ש N1 חיתוך N2 וN1N2 הן נורמליות (בלי להוכיח שהן ת"ח, כי זה ברור/ הוכחנו את זה בתרגול) ?
לגבי חיתוך: הראינו בכיתה שחיתוך של תתי חבורות הוא תת חבורה.
לגבי כפל: הכפל הוא לא תמיד תת חבורה, אלא במקרים מיוחדים (ראה את הסעיף הקודם, למשל), לכן כן יש שם משהו להוכיח. --[[משתמש: לואי פולב|לואי]]