שינויים
/* טענה שאני לא מצליח להוכיח. צריך בבקשה עזרה */
תודה מראש על העזרה.
:האם הכיוון <math>\left( \Leftarrow \right)</math> ברור? היזכר בהגדרה של איבר יחידה. אם <math>e</math> הוא איבר היחידה של <math>G</math> הוא בפרט איבר היחידה של <math>H</math> (האם ברור כי <math>e \in H</math>?).
:הכיוון <math>\left( \Rightarrow \right)</math> לא הרבה יותר מסובך. תת־החבורה <math>H</math> מכילה את איבר היחידה של החבורה <math>G</math>, ומהיחידות של איבר היחידה ב-<math>H</math> אם <math>e</math> הוא איבר היחידה ב-<math>H</math>, אז הוא שווה לאיבר היחידה מ-<math>G</math>.
