OP-01139 Solution claimed A power saving in Sárközy's theorem on square differences NT · additive combinatorics · Furstenberg–Sárközy theorem · square differences