リニックの定理は（リニックのていり）、解析的整数論の一定理であり、以下のように述べられる。
a と d を1 ≤ a ≤ d - 1を満たす互いに素な整数とし、nを正整数とする。p(a,d) で、
このとき、次を満たすような正整数c と L が存在する。
が素数となる最小の整数とする。
