Chinese Reminder Theorem