перестановочное приведение

Мат. permutative reduction