заключение правила

Мат. conclusion of rule