Define Chinese Remainder Theorem