Recordemos que si\(a\) y\(b\) son enteros, entonces decimos que\(a\) es congruente con\(b\) modulo\(n\) siempre que\(n\) divida\(a - b\), y escribimos\(a \equiv b\) (mod\(n\)). (Ver Sección 3.1.) Ahor...Recordemos que si\(a\) y\(b\) son enteros, entonces decimos que\(a\) es congruente con\(b\) modulo\(n\) siempre que\(n\) divida\(a - b\), y escribimos\(a \equiv b\) (mod\(n\)). (Ver Sección 3.1.) Ahora vamos a probar algunas propiedades de congruencia que son consecuencias directas de la definición.