Si dase m - n = p, esiste una infinidá de númberos naturales m´ y n´ tal que m´ - n´ = p; de manera tal qu'en ℕ × ℕ la rellación (m, n) ≈ (m´ ,n´) ↔ m + n´ = n + m´ define una rellación d'equivalencia, puntu de partida pa la construcción del ℤ de los númberos enteros.[12]