Teorema Chino del Residuo

"2. Si $i = j$, entonces $M_j y_j \equiv 1 \pmod{n_j}$ por definición. Así que, $a_j M_j y_j \equiv a_j(1) \equiv a_j \pmod{n_j}$." * "Summing these terms, we get:" -> "Al sumar estos términos, obtienes:" * "This holds for all $j=1, \dots, k$, so a solution exists." -> "Esto funciona para todo $j=1, \dots, k$, así que la solución existe."

*   "Part 2: Uniqueness" -> "**Parte 2: Unicidad**"
*   "Suppose there are two solutions $x$ and $x'$ such that $x \equiv a_i \pmod{n_i}$ and $x' \equiv a_i \pmod{n_i}$ for all $i$." -> "Supón que hay dos soluciones $x$ y $x'$ tales que $x \equiv a_i \pmod{n_i}$ y $x' \equiv a_i \pmod{n_i}$ para todo $i$."
*   "Then, $x \equiv x' \pmod{n_i}$, which implies $n_i \mid (x - x')$." -> "Entonces, $x \equiv x' \pmod{n_i}$, lo que implica que $n_i \