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