Sean m y n enteros positivos con m > 1. Anastasia particiona el conjunto de enteros 1,2,…,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.