[t.B.]

ลองไปพิสูจน์ก่อนครับว่า $(ab)^2=b^2a^2$ ไม่ก็ $(ba)^2=a^2b^2$
เลยได้ว่า
$(ab)^2=(ba)^2$
$(ab)(ab)=a^2b^2$
$a(ba)b=a(ab)b$
$ba=ab$