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