צ"ל <math>[G:(H_1 \cap H_1)]\leq[G:(H_1)][G:(H_2)]</math> ע"י הגדרת פעולה מתאימה.
:נסה להסתכל על הפעולה הטבעית רכיב רכיב של <math>G</math> על <math>G/H_1\times G/H_2</math>. :מה ניתן להגיד על הסדר של המסלול של <math>(H_1,H_2)</math>?:מה הקשר בינו לבין סדרי המסלולים של <math>H_1</math> ו <math>H_2</math> בפעולות הטבעית של <math>G</math> מעל <math>G/H_1</math> ומעל <math>G/H_2</math> בהתאמה? [[משתמש:גילי|גילי]] 18:02, 9 בספטמבר 2012 (IDT)
== קבוצה פורשת ==