deduce inference

Мат. делать вывод