Useful theorem about subtraction.