tautological statement

Мат. тавтологическое высказывание