ו<math>f:G\to H</math> איזו' אז <math>f(G_1),\ldots f(G_i)</math> תתי חבורות שונות מסדר <math>n</math> של <math>H</math>. לכן מספר תתי החבורות מסדר <math>n</math> של <math>H</math> גדול או שווה למספר תתי החבורות מסדר <math>n</math> של <math>G</math>.
<math>f^{-1}:H\to G</math> גם היא איזו' ולכן ניתן להוכיח בצורה דומה שמספר תתי החבורות מסדר <math>n</math> של <math>G</math> גדול או שווה למספר תתי החבורות מסדר <math>n</math> של <math>H</math>. בסה"כ נקבל את השוויון הדרוש. --[[משתמש:מני ש.|מני]] 16:56, 17 בדצמבר 2012 (IST)
== תרגיל 8 שאלה 3 ==
האם יש קשר בין הסעיפים? כלומר, האם אני יכולה להיעזר בסעיף שהוכחתי?