Add Chinese Remainder Theorem