In article <bb2a8h$uut$1@bluegill.lbm.go.jp> I write:
>以上の証明を追ってみると、*についても+についても可換性を全く使っていません。
>(使わなくても良いようにF.K.さんの理路を少し変更してあります)
おっと、変更が不充分でした^_^;

        1 = 1 + a
を証明したのと同様の手順で
        1 = a + 1
を証明しておく必要がありますね。

もう少し「複雑に入り組んでいない」理路は無いかな?
考えてみます。

                                戸田 孝@滋賀県立琵琶湖博物館
                                 toda@lbm.go.jp