:למה הכוונה ב"להפעיל אינדוקציה"? האם ל[https://he.wikipedia.org/wiki/%D7%9E%D7%A9%D7%A4%D7%98_%D7%94%D7%A7%D7%95%D7%9E%D7%A4%D7%A7%D7%98%D7%99%D7%95%D7%AA משפט הקומפקטיות] ([https://en.wikipedia.org/wiki/Compactness_theorem Compactness theorem])? האם יש לך דרך יותר ישירה להוכחה? כלומר לפי ההגדרה של חבורה פשוטה.
== לא ברור לי איך מוכיחים את הטענה הבאה: ==
<math>G</math> חבורה.
ו-<math>a\in G</math>.
מדוע קיימת תת-חבורה ציקלית של <math>G</math> שנוצרת ע"י <math>a</math>?
איך מראים ש- <a> היא תת חבורה ציקלית של G?