צריך שם להראות:
אם <math>H<G</math> כך ש: <math>S<H</math> אזי <math>H\triangleright triangleleft G</math>
כדוגמא נגדית אפשר לקחת למשל את <math>S_5</math> (חבורת התמורות על 5), להגדיר את <math>H=\left \{(23),(32),(1)\right \}</math> למשל כתת חבורה.
עכשיו <math>S<H</math> אבל <math>H</math> לא תת"ח נורמלית.