reducible invariant

Мат. приводимый инвариант