Igazoljuk, hogy ha S⊂{1,...,n}, és |S|>n3, akkor S-nek kiválasztható legfeljebb négy olyan, nem feltétlenül különböző eleme, amelyek összege 2-hatvány.