              

         
     
        x y y z   x z y z
x y x z y z
x y y z x y z y y z
    
   
   
  
 
    

(3.17)
We first try
     x  y  y  z  x  y y  z, (3.18)
where the interchange of both  and .
Next we try

      
  
   x y y z
x z z y
x z y z x z z y
 
 
 
 
 
    



(3.19)
where z and y can be used interchangeably, by Definition 2.3(  BCL -2).
By Definition 3.1(D1), in the case that
   x  y  y  z 1. (3.20)
By Theorem 2.3 and Theorem 2.4 we see that

   
     
     
1


1 1

     
     
    
x y x z z y
x z x y y z
x z x z
(3.21)
then 1  1, as required.

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

 z y y x z y z xx y x z y zx y z y x y z y y zค่าค่าค่าค่าค่าค่าค่า (3.17)เราลองครั้งแรก x  y  y ค่า z  x  y y  z, (3.18)ซึ่งการแลกเปลี่ยนของค่าและต่อไป เราลอง x y y zx z z yx z y z x z z y (3.19)ที่ z และ y สามารถใช้แทนกันได้ โดยนิยาม 2.3 ( BCL -2)คำ 3.1(D1) ในกรณีที่  x  y ค่า y  z 1 (3.20)โดยทฤษฎีบท 2.3 และ 2.4 ทฤษฎีบท ที่เราเห็นว่า 1 1 1ค่าค่าค่าค่าค่าค่าค่าค่าค่าค่าค่าค่าค่าx y x z z yx x y y z zx z x z (3.21)แล้ว 1  1 ตามต้องการ

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



 xyyz  xzyz
xyxzyz
xyyzxyzyyz



 



(3.17)
เราพยายามครั้งแรก
 x  Y  Y Z  x  Y yz (3.18)
ที่แลกเปลี่ยนของทั้งสองและ .
ต่อไปเราพยายาม



 xyyz
xzzy
xzyzxzzy









(3.19)
ที่ Z และ Y สามารถใช้แทนกันได้โดย นิยาม 2.3 (BCL -2)
โดยนิยาม 3.1 (D1) ในกรณีที่
 x  Y  Y Z 1 (3

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

 X Y Y  X Y Z Z Z x y x y z ZX Y Y Z X Y Z Y Y Z( 3.17 )แรกที่เราลอง x  Y Y  X Y Z  Y  Z  ( 3.18 )ที่แลกเปลี่ยนของทั้ง และ .ต่อไปเราจะลอง X Y Y Z X Y Z ZX Y Z Z Z Z X Y( 3.19 )ที่ Z Y สามารถใช้แทนกันได้ โดยความละเอียด 2.3 (  Bcl - 2 )โดยคำนิยาม 3.1 ( D1 ) ในคดีที่ X Y Z Y  1 ( 3.20 )โดยทฤษฎีบททฤษฎีบท 2.3 2.4 และเราเห็นว่า11 1x y x y z ZX Y Z X Y ZX Z X Z( 3.21 )1  1 ตามที่ต้องการ