явное обобщение

Мат. explicit generalization