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

Мат. antecedent universalization