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