Chinese remainder theorem
算術級数の素数に関するディリクレの定理、平方剰余の定理、および中国の剰余定理（CRT）を使うと、任意の "M" &gt; 0 に対して、1, 2, ..., "M" が全て素数 "p" を法として剰余であることが簡単にわかる。