Chinese Remainder Theorem Aops