Fact: If n≠m∈ℤ, then |n−m|≥1.
Although this fact sounds very obvious, in this course it will be one of our most used tools.