Z/nZ is an abelian group, so it inherits all universal equations true in ℤ by the preservation prope...
This proposition has not been edited since the history system was added.