Fundamentos de la teoría de la congruencia y aplicaciones de la aritmética modular