единичная парамодуляция

Мат. unit paramodulation