verifiable induction

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