שינויים

:(לא מרצה / מתרגל) כן. נסתכל על המקרה <math>n=2</math>. נקבל <math>abab=\left(ab\right)^2=a^2 b^2=aabb</math>. נכפול בהופכי של <math>a</math> משמאל: <math>a^{-1}\left(abab\right)=a^{-1}\left (aabb\right)</math>, כלומר <math>\left(a^{-1}a\right)\left(bab\right)=\left(a^{-1}a\right)\left (abb\right)</math>, <math>e\left(bab\right)=e\left (abb\right)</math> ולכן <math>bab=abb</math>. באופן דומה, נכפול בְּ־<math>b^{-1}</math> מצד ימין, ונקבל (לאחר תהליך דומה) <math>ba=ab</math>, כדרוש. --[[משתמש:גיא|גיא בלשר]] 12:15, 25 באוגוסט 2013 (IDT)