יש משפט שאומר שאם הסדר של ת"ח מחלק את הסדר החבורה אז הת"ח נורמלית? (סליחה אם זאת שאלה טריויאלית)
:סדר של ת"ח תמיד מחלק את סדר החבורה, בלי קשר להיות הת"ח נורמלית או לא (ראה משפט לגרנג'!!!). בכל מקרה, מה שכן אפשר לומר הוא: תהי <math>G</math> חבורה, <math>H</math> ת"ח מאינדקס 2, כלומר <math>{G:H]=2</math> או <math>|H|=0.5*|G|</math> (שוב ממשפט לגרנג'!!!) אזי <math>H</math> נורמלית ב-<math>G</math> (הוכחנו בתרגול). כמו כן אם האינדקס 1 אז הת"ח תהיה נורמלית - שכן במקרה זה נקבל שהיא שווה לחבורה עצמה. מקווה שעזרתי, [[משתמש:gordo6|גל]].