generalized resolution

Мат. обобщенное разложение