>>389
complete inductionの証明が正しければ正しいと考えられます

>>390
十分性の確認は簡単だと思います

>>391
普通の数学用語です