valid statement

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