move Chinese_Remainder out