Argument 1 conflates the equational theory of integers with a richer first-order theory; the torsion...