设 [tex=5.357x1.214]35cV0l/sbEhGhcNky0b75Q==[/tex] 是半群, [tex=4.143x1.214]jWE/BZ61Jc3ue2kVQW3a3asWbzClVJt3vm2of0H5M5w=[/tex],如果 [tex=1.429x1.214]rkgrF+YaaESwSQDjR6KfWg==[/tex] 都与 [tex=0.5x0.786]hycNLgozeED/VkKdun7zdA==[/tex] 可交换，证明 [tex=2.071x1.0]G9UTBsAN/J31qbWMRPoBXg==[/tex]也与[tex=0.5x0.786]hycNLgozeED/VkKdun7zdA==[/tex] 是可交换的.
设 [tex=5.357x1.214]35cV0l/sbEhGhcNky0b75Q==[/tex] 是半群, [tex=4.143x1.214]jWE/BZ61Jc3ue2kVQW3a3asWbzClVJt3vm2of0H5M5w=[/tex],如果 [tex=1.429x1.214]rkgrF+YaaESwSQDjR6KfWg==[/tex] 都与 [tex=0.5x0.786]hycNLgozeED/VkKdun7zdA==[/tex] 可交换，证明 [tex=2.071x1.0]G9UTBsAN/J31qbWMRPoBXg==[/tex]也与[tex=0.5x0.786]hycNLgozeED/VkKdun7zdA==[/tex] 是可交换的.
1