איך מתקדמים???
:תת־חבורה היא חבורה בעצמה. לכל איבר <math>g \in G</math> בחבורה נמצא גם ההופכי שלו <math>g^{-1} \in G</math>. ידוע לנו שמתקיים <math>\left(g^{-1}\right)^{-1}=g</math> לכל איבר. זה כמעט מסיים את ההוכחה.
== מנסה להוכיח משהו ללא הצלחה... ==