נכתב שם שצריך להוכיח:
<math>\forall h\in H \forall g\in G</math>,\hspace{4} <math> ghg^{-1}\in H\hspace{5}</math> <math>\Leftrightarrow \hspace{5} </math> <math>H\triangleright G</math>
המשפט הזה נכון רק בכיוון הזה <math>\Leftarrow</math>, הכיוון השני לא נכון.