:האם הכיוון <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>.
שתיי שאלות על הכיוון: ==>
<math>e</math> איבר יחידה של <math>G</math>.
לכן : <math>\forall g\in G:ge=eg=g</math>.
וזה נכון גם עבור <math>g</math>-ים ששייכים ל-<math>H</math> .
לכן לכל <math>g\in H</math> מתקיים: <math>ge=eg=g</math>.
מה שלא מובן כאן, זה '''למה איבר היחידה <math>e</math> של <math>G</math>, שייך גם ל-<math>H</math>'''?
והדבר השני שלא מובן, זה למה הוא '''יחיד'''
שתיי שאלות על הכיוון: <==
כתבת "תת חבורה <math>H</math> מכילה את איבר היחידה של החבורה <math>G</math>. '''למה הטענה הזו נכונה?'''
כתבת גם "שאיבר היחידה ב- <math>H</math> הוא יחיד. הסיבה שהוא יחיד, היא בגלל ש-<math>H</math> בעצמה היא חבורה ולכן איבר היחידה שלה הוא יחיד?
== ניסיון הוכחה של הטענה הבאה: ==