Reduction by a Non-Zero-Divisor