− "b" es divisible entre "n", esto es, si "a" − "b" = "kn" para algún entero "k".