Diophantine equation
多変数の多項式では、全ての素数を生成することができる式がいくつか知られている。例えば、 が素数となる必要十分条件は、次のディオファントス方程式が自然数解を持つことである：