Chinese Remainder Theorem Aops Math