Then, using (2), the fact that (X,

Then, using (2), the fact that (X, ∗, 0) is commutative and (KK-2), we have

ผลลัพธ์ (ไทย) 1:

นั้น ใช้ (2) ข้อเท็จจริงนั้น (X ∗ 0) สลับ และ (เคเค-2), เราได้

ผลลัพธ์ (ไทย) 2:

จากนั้นใช้ (2) ความจริงที่ว่า (x, *, 0) คือการสับเปลี่ยนและ (KK-2) เรามี

ผลลัพธ์ (ไทย) 3:

จากนั้นใช้ ( 2 ) , ความจริงที่ว่า ( x , ∗ , 0 ) คือการสับเปลี่ยน ( kk-2 ) เรามี