Description: The canonical homomorphism from the integers to a ring R maps additive inverses to additive inverses. (Contributed by Thierry Arnoux, 5-Oct-2025)