>>459
あー、やったのか。
帰納法原理が駄目ならa+1=1+aの根拠が適当だろうなあ