Chinese Remainder Theorem