数学的帰納法 いつ使う