Additive property of equality with signed fractions