generic proposition

Мат. родовое высказывание