Chinese Remainder Theorem Example