Chinese remainder theorem
中国の剰余定理の主張は、イデアル "I" がどの二つもに互いに素なイデアル "I"1, ..., "I""k" の交わりになっている（あるいは同じことだが、積になっている）ならば剰余環についての同型