элиминативная индукция

Мат. induction by elimination