← The Chinese Remainder Theorem