Об одной задаче Гауэрса

Доказано, что любое множество $A\subseteq\{1,\dots,N\}^2$ мощности не меньше $\delta N^2$ содержит тройку вида $\{(k,m),(k+d,m),(k,m+d)\}$, где $d>0$, $\delta>0$ – любое вещественное число, $N$ – натуральное число, $N\geqslant \exp\exp\exp\{\delta^{-c}\}$, $c>0$ – некоторая эффективная константа.
Библиография: 24 наименования.