Absolute values in linear ordered rings. #
If a
is even, then n
is odd iff n % a
is odd.
If a
is even, then n
is even iff n % a
is even.
If a
is even, then n
is odd iff n % a
is odd.
If a
is even, then n
is even iff n % a
is even.