Congruencia en aritmética modular y su relación con los residuos