Multiplicative property of equality with integers