← Math 127: Chinese Remainder Theorem