opt: p_ChineseRemainder (from spielwiese)