>>448
完全数学的帰納法で証明するときには十分性を確認することが必要だと思われる