Chinese remainder theorem
正整数 "n" が無平方であることと、剰余環 （合同算術を参照）が体の積であることは同値である。このことは中国の剰余定理と の形の環が体であることと "k" が素数であることが同値であることから従う。