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

Мат. induction by enumeration