ultimate reduction

Мат. полное приведение