тавтологически влечет

Мат. tautologically implyies