שינויים
/* משפט קושי */
במשפט באמת לא חובה שהחבורה תהיה אבלית?
*(לא מתרגל) ''טענת'' קושי אומרת כי לכל חבורה אבלית עם מספר ראשוני p המחלק את סדר החבורה, קיים איבר מסדר p.
לאחר הוכחת משפט סילו 1, ישנן 2 מסקנות. הראשונה - לכל חבורה G, ולכל p ראשוני וk טבעי כך שp^k מחלק את סדר החבורה, קיימת תת חבורה מסדר p^k.
המסקנה השנייה היא ''משפט'' קושי - לכל חבורה G ולכל p ראשוני המחלק את סדר החבורה קיים איבר מסדר p, וזה נובע מהתוצאה הראשונה - אם ניקח k=1 נקבל כי קיימת תת חבורה מסדר p, אבל היא בהכרח ציקלית ולכן יש איבר מסדר p שיוצר אותה, והוא בחבורה.
