правило введения

Мат. introduction rule