שינויים

:ידוע שהרכבה עם הזהות תשאיר אותנו בחבורה. לשאר האיברים אפשר לשים לב שכולם מסדר 2, ולכן מכפלה של איבר עם עצמו תתן את הזהות. מכפלה של שני איברים שונים (שאינם הזהות) תתן את האיבר השלישי <math>(x\ y)(z\ w)\cdot(x\ z)(y\ w)=(x\ w)(y\ z)</math>. '''למה זה ששאר האיברים מסדר 2, אומר שאם אכפיל כל שניים מהאיברים מסדר 2, אקבל את הזהות?'''