Legyen $A$ egy egész számokból álló halmaz és $B$ egy, ugyancsak egészekből álló kételemű halmaz! E két halmaz olyan tulajdonságú, hogy minden egész szám egyértelműen állítható elő egy $A$-beli és egy $B$-beli szám összegeként.
Bizonyítsuk be, hogy mindazok az egész számok, amelyek nem állíthatók elő két (nem feltétlenül különböző) $A$-beli szám különbségeként, ugyanannak az egésznek páratlan többszörösei.