Update chinese_remainder_theorem.tex