リニックの定理

リンニックの定理（リンニックのていり）は、解析的整数論の一定理であり、以下のように述べられる。
"a" と "d" を1 ≤ "a" ≤ "d" - 1を満たす互いに素な整数とし、"n"を正整数とする。"p"("a","d") で、
このとき、次を満たすような正整数"c" と "L" が存在する。
この定理は、1944年に で(Yuri Vladimirovich Linnik) により証明されたので、彼の名前に因んでいる。リンニックの証明は c と L が計算可能であるにもかかわらず、これらの数値について示さなかった。