Skup $A\subset \mathbb{N}$ zovemo \emph{neprijateljskim} ako za svaki par $(a,b)$ brojeva iz $A$ postoji $k\in\mathbb{N}_0$ takav da je $M(a,b)=2^k$.
Postoji li beskonačan skup \(S\subset\mathbb{N}\) sa svojstvom da je skup svih mogućih zbrojeva dvaju različitih elemenata skupa \(S\) neprijateljski skup?