return to top
source
/
ℤ
If an integer with larger absolute value divides an integer, it is zero.
If two integers are congruent to a sufficiently large modulus, they are equal.