後の数学的帰納法である