Is every model of modular arithmetic either even or odd?

Solution 1:

Posted to liberate this question from its Unanswered status.


Emil Jeřábek answered this question satisfactorily on MathOverflow.