m ∈ ℤ