ושאלה נוספת, למה <math><S></math> היא תת חבורה?
:אנחנו הגדרנו את <math><S></math> להיות הקבוצה של מכפלה סופית של איברים מהצורה <math>s^n</math> עבור <math>s\in S,n=\pm 1</math>. ברור שזו תת-קבוצה של <math>G</math>, וההוכחה שזו ת"ח היא תרגיל נחמד. נניח, לשם ההדגמה ש-<math>S=\{a,b,c\}</math>. אז איבר לדוגמא ב-<math><S></math> הוא <math>aaab^{-1}a^{-1}bbbbc^{-1}accc</math>. יש, כמובן, עוד איברים ב-<math><S></math>. אני מקווה שזו דוגמא מספיק קונקרטית. [[משתמש:חיים רוזנר|חיים רוזנר]] ([[שיחת משתמש:חיים רוזנר|שיחה]]) 17:58, 1 בדצמבר 2013 (EST)
== שאלה ==