generalized statement

Мат. обобщенное высказывание