שינויים
/* שאלה לגבי gcd */
:: '''תשובה:''' כמובן שמתקיים <math>gcd(a,b)=gcd(b,a)</math>. ההוכחה של טענה כזאת היא אכן טריוויאלית, ואין צורך לרשום אותה. ניתן לומר שאם d מחלק את a וגם ואת b, אז ברור שהוא מחלק את b וגם את a, והטענה נובעת מייד מזה, כיוון שקבוצת המחלקים של a ו b שווה לקבוצת המחלקים של b ו a, ולכן גם המחלק הגדול ביותר בשני המקרים שווה. אם היינו כותבים את זה בפסוקים לוגיים אז היינו צריכים להשתמש בקומוטטיביות של וגם. [[משתמש:Wishcow|Wishcow]] 22:08, 30 באוקטובר 2011 (IST)
<br/>