Si "a" y "b" son enteros, la congruencia: "ax" ≡ "b" (mod "n") tiene solución "x" si y sólo si el máximo común divisor ("a", "n") divide a "b".