индуктивное допущение

Мат. inductive assumption