reduction property

Мат. свойство редукции