m≦kを満たす任意の自然数mで〜が成り立つと仮定