יהיו <math>H_2 \leq G</math>, <math>H_1 \leq G</math>.
צ"ל <math>[G:(H_1 \cap H_1)]\leq[G:(H_1)][G:(H_2)]</math> ע"י הגדרת פעולה מתאימה.
נסה להסתכל על הפעולה הטבעית רכיב רכיב של G על <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)