数学的帰納法って漸化式以外に使っていいの?