Equations like 'x+x+...+x (n times) = 0' are satisfied in Z/nZ but false in ℤ, showing the equationa...
This proposition has not been edited since the history system was added.