deducible rule

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