うーん、解けん。 結局、可換な演算をどっかで繰り返してしまってるのだよな。 演算の分類をして、非可換に続けられれば解けるのだろうけど。 そこまでして力技で解くのもなぁ。 つまり、知恵の輪の難しさは群論で定式化できるはずかなぁ*1と考える夜。 なに…