универсализация консеквента

Мат. consequent universalization