เอ่อ ใครที่ชำนาญเรื่อง Group ช่วยพิสูจน์ตรงนี้ให้ดูหน่อยนะครับ
ให้ X = Union ของ Gi โดย Gi อินเตอร์เซคกับ Gj = {}
F=เซตของ reduced word ทั้งหมดบน XU{1}
* เป็น binary operation บน F
แล้ว (F;*) เป็น group