Sean m y n enteros positivos con m > 1. Anastasia particiona el conjunto de enteros $1,2,\dots,2m$ en m parejas. Luego Boris escoje un entero de cada pareja y suma los enteros escogidos. Demuestra que Anastasia puede elegir las parejas de manera que Boris no pueda hacer que su suma sea igual a n.