reducible property

Мат. приводимое свойство