правило исключения

Мат. elimination rule