[nongtum]

ขาไป ใช้ finite subgroup test
สมมติให้ $a_1,a_2 \in A,\ b_1,b_2 \in B$ จะได้ $a_1b_1,\ a_2b_2\in AB$
จาก $AB=BA$ จะมี $a_3\in A,\ b_3\in B$ ที่ทำให้ $b_1a_2=a_3b_3$ ทำให้ $a_1b_1a_2b_2=a_1a_3b_3b_2\in AB$
ดังนั้น $AB$ มีสมบัติปิด และเป็นกรุปย่อยโดย finite subgroup test

ขากลับ สำหรับ $a\in A,\ b\in B$ จะได้ $a^{-1}b^{-1}\in AB$ ซึ่งทำให้ $ba=(a^{-1}b^{-1})^{-1}\in AB$ นั่นคือ $BA\subset AB$
ในทางกลับกัน ถ้า $x\in AB$ จะมี $a\in A,\ b\in B$ ที่ทำให้ $x^{-1}=ab\in AB$
ดังนั้น $x=(x^{-1})^{-1}=(ab)^{-1}=b^{-1}a^{-1}\in BA$ นั่นคือ $AB\subset BA$
ดังนั้น $AB=BA$

หมายเหตุ: $G$ เป็นกรุปอนันต์ก็ได้ (ทำไม และต้องแสดงอะไรเพิ่ม)