Multiplicative property of equality with whole numbers