中国剰余定理のネーミングがね。