Furstenberg–Sárközy theorem