This was proven in 1985 for all sufficiently large integers by András Sárközy, and for all integers > 4 in 1996 by Olivier Ramaré and Andrew Granville.
Zostało to udowodnione w 1985 przez Andrása Sárközy’ego dla wszystkich wystarczjąco dużych liczb całkowitych, a dla wszystkich liczb całkowitych > 4 w 1996 przez Oliviera Ramaré’a i Andrew Granville’a.