tautologically true proposition

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