Algebraic Reduction Theorem