שינויים
/* מה האינטואיציה מאחורי הטענה הבאה: */ פסקה חדשה
אני רוצה להראות ש- <math>U_{8}XU_{9}</math> לא ציקלית.
== מה האינטואיציה מאחורי הטענה הבאה: ==
בהינתן שתיי מחלקות <math>aH,bH</math>, מתקיים רק אחד מבין השניים הבאים:
א'. <math>aH=bH</math>
ב'. <math>aH\cap bH=\varnothing </math>
למה שתיי מחלקות חייבות לקיים שהן או שוות, או זרות? למה לא יתכן שיהיה להן איבר משותף ושהן לא יהיו שוות?