Friedlander-Ivanetsova věta říká, že existuje nekonečná množina prvočísel formy . Několik prvních takových prvočísel
2, 5, 17, 37, 41, 97, 101, 137, 181, 197, 241, 257, 277, 281, 337, 401, 457, 577, 617, 641, 95, 7, 87 2 857, 881, 977, ... (sekvence A028916 v OEIS ).Složitost výpisu spočívá ve velmi ojedinělém výskytu čísel tvaru - počet takových čísel, která nepřesahují , je zhruba odhadnut hodnotou .
Větu dokázali v roce 1997 John Friedlander a Henrik Ivanec [1] . Ivanets obdržel Ostrovského cenu v roce 2001 za svůj příspěvek k této větě [2] . Takový silný výsledek byl dříve považován za absolutně nedosažitelný, protože teorie síta (před použitím nových metod Ivanets a Friedlander) neumožňovala rozlišovat prvočísla od jejich párových součinů.
V případě b = 1 mají Friedlander-Ivanetsova prvočísla tvar a tvoří množinu:
2, 5, 17, 37, 101, 197, 257, 401, 577, 677, 1297, 1601, 2917, 3137, 4357, 5477, 7057, 8101, 1, 7 v 81371 ).Existuje domněnka (jeden z Landauových problémů ), že tato množina je nekonečná. Toto tvrzení však nevyplývá z Friedlander-Ivanetsovy věty.