http://www.hatena.ne.jp/1109562418 この問題の解答，一見良さげに見えるけれど，みんな「ある重要な証明」が抜けてしまっている．まぁ，よく引っかかる罠だけれど． 以下でやっているのは上の問題の解答でやってるのと「まったく同じ論理展開」． の証明．…

忙しいので更新が滞っております．でも，この問題には言及せずにいられなかったもので・・・ついついこんなしょーもない日記を書いてしまうという・・・．