deduction rule

Мат. правило вывода