証明は数学的帰納法による。