Chinese Remainder Theorem Proof