1) выбирает произвольную другую позицию кубика и показывает ее .
2) просит сделать одно из следующих действий:
(a) показать как из выбранной позиция собрать исходную либо
(b) показать как решить выбранную позицию.
3) выполняет просьбу .
4) и повторяют шаги 1) - 3) раз.
Очевидно всегда сможет доказать умение решать исходную позицию, если она действительно таким умением обладает. В противном же случае она не всегда сможет выполнить пункт 3). Так же любое количество итераций никаким образом не поможет выяснить как решается исходная позиция.