Igazoljuk, hogy ha $S\subset \left\{\mathrm{1,}\text{...}\mathrm{,}n\right\}$, és $|S|>\frac{n}{3}$, akkor $S$-nek kiválasztható legfeljebb négy olyan, nem feltétlenül különböző eleme, amelyek összege $2$-hatvány.