מה שלא מובן כאן, זה '''למה איבר היחידה <math>e</math> של <math>G</math>, שייך גם ל-<math>H</math>'''?
: נסמן את איבר היחידה של H על ידי <math>e_H</math>. מתקיים, ביחס לפעולה של החבורה G, שהיא אותה הפעולה של H, <math>e_H e_H = e_H</math>. מכיוון שאיבר היחידה בחבורה G הוא יחיד (ראה התשובה הבאה), אז מתקיים <math>e=e_H</math>. [[משתמש:חיים רוזנר|חיים רוזנר]] ([[שיחת משתמש:חיים רוזנר|שיחה]]) 07:51, 8 בדצמבר 2013 (EST)
והדבר השני שלא מובן, זה למה הוא '''יחיד'''
:איבר היחידה הוא יחיד בכל מונואיד: מתקיים <math>e_1=e_1e_2=e_2</math>, לכל שני איברי יחידה במונואיד. [[משתמש:חיים רוזנר|חיים רוזנר]] ([[שיחת משתמש:חיים רוזנר|שיחה]]) 07:51, 8 בדצמבר 2013 (EST)
שתיי שאלות על הכיוון: <==
כתבת "תת חבורה <math>H</math> מכילה את איבר היחידה של החבורה <math>G</math>. '''למה הטענה הזו נכונה?''' :לפי הכיוון ההפוך. [[משתמש:חיים רוזנר|חיים רוזנר]] ([[שיחת משתמש:חיים רוזנר|שיחה]]) 07:51, 8 בדצמבר 2013 (EST)
כתבת גם "שאיבר היחידה ב- <math>H</math> הוא יחיד. הסיבה שהוא יחיד, היא בגלל ש-<math>H</math> בעצמה היא חבורה ולכן איבר היחידה שלה הוא יחיד?
:לפי הכיוון ההפוך. [[משתמש:חיים רוזנר|חיים רוזנר]] ([[שיחת משתמש:חיים רוזנר|שיחה]]) 07:51, 8 בדצמבר 2013 (EST)
== ניסיון הוכחה של הטענה הבאה: ==