Friedlander-Ivanetsin lause sanoo, että on olemassa ääretön joukko muodon alkulukuja . Muutama ensimmäinen tällainen alkuluku
2, 5, 17, 37, 41, 97, 101, 137, 181, 197, 241, 257, 277, 281, 337, 401, 457, 577, 617, 641, 761, 7, 7, 6 857, 881, 977, ... (sekvenssi A028916 OEIS : ssä ).Lausunnon monimutkaisuus piilee muodon lukujen erittäin harvoissa esiintymisessä - tällaisten lukujen lukumäärä, jotka eivät ylitä , arvioidaan karkeasti arvolla .
Lauseen todistivat vuonna 1997 John Friedlander ja Henrik Ivanec [1] . Ivanets sai Ostrovski-palkinnon vuonna 2001 panoksestaan tähän lauseeseen [2] . Tällaista voimakasta tulosta pidettiin aiemmin täysin saavuttamattomana, koska seulateoria (ennen Ivanetsin ja Friedlanderin uusien menetelmien käyttöä) ei sallinut alkulukujen erottamista niiden parituloksista.
Tapauksessa b = 1 Friedlander-Ivanetsin alkuluvuilla on muoto ja ne muodostavat joukon:
2, 5, 17, 37, 101, 197, 257, 401, 577, 677, 1297, 1601, 2917, 3137, 4357 , 5477 , 7057; ).On arvelu (yksi Landaun ongelmista ), että tämä joukko on ääretön. Tämä väite ei kuitenkaan johdu Friedlander-Ivanetsin lauseesta.