Then LxRy = RyLx.
このとき LxRy = RyLx が成立する。