Предположим, что у зрителя имеется k карт, у показывающего N > k карт; пусть, далее, выбрано число m < N.
Очевидное равенство
N = k + m + (N — k — m)
является математическим эквивалентом утверждения, показывающего: «у меня имеется на m карт больше, чем у зрителя, и еще столько, чтобы от числа карт зрителя (k) досчитать до числа N — m».
Число m следует выбирать маленьким; если m + k будет больше, чем N, то разность N — k — m окажется отрицательной.
