reducible inference

Мат. редуцируемый вывод