中国人剰余定理ってイデアルのインデックス有限じゃなくても成り立ちますか?