Propiedades y aplicaciones de las operaciones de congruencia módulo