>>311
何故(6)が正しくないのだろうか？完全に正しい証明だけであるが

理解できないのであれば、仕方がないが、complete inductionは十分条件の確認は
必要ありません