ã¡ã¢ãåå²æ°ãã¨ã«ãªãã¦è¦ããããã
a-b ã®é¨åãå転ãããæé ã
aRw bRw' U2 x
aRw bRw' U2 aRw bRw' U2
(n-a)Rw' bRw U2 aLw bLw' U2
aRw' bRw U2 aRw bRw' U2 x'
(n-a)Lw' bLw U2 aRw' bRw
b=1 ã®ã¨ãã¯ãé£ã®ã³ã¼ãã¼ãã¥ã¼ããåããã¦å転ããã¦è¯ãã®ã§ãb=0 ã¨ãã¦æ¶ããããã®ã¨ããæå¾ã®ã»ãã® x' (n-a)Lw' 㯠aRw' ã¨çãããªããããã§ãã®è¾ºã®æé ã¨åãã«ãªãã¯ãã