中国剰余定理
本はありません。