проверяемая индукция

Мат. verifiable induction