— Прекрасный, ну просто замечательный вопрос! — сияя, воскликнул Фергюссон. — А ну-ка — вот вам еще задачка: найти такие числа X и Y, чтобы число X порождало повторение числа Y, а число Y порождало обращение ассоциата X.
— С меня хватит! — воскликнул Мак-Каллох.
— Минуточку, минуточку, — перебил их Крейг. — Я, кажется, что-то начинаю понимать. Не хотите ли вы сказать, Фергюссон, что для любых двух операций, которые может выполнять машина, то есть для любых двух заданных операционных чисел M и N, должны существовать некие числа X и Y, характеризующиеся тем, что X порождает M(Y), а Y порождает N(X)?
— Вот именно! — воскликнул Фергюссон. — И поэтому мы можем найти, например, такие числа X и Y, для которых X порождает двойной ассоциат Y, а Y порождает повторение обращения X или любые другие комбинации, какие вы захотите.
— Вот так штука! — изумился Мак-Каллох. — Ведь все это время я пытался придумать машину как раз с таким свойством, а она у меня, оказывается, уже есть!
— Безусловно есть, — подтвердил Фергюссон.
— А как вы докажете это свойство? — спросил Мак-Каллох.
— Я бы хотел начать доказывать его постепенно, — ответил Фергюссон. — Собственно говоря, суть дела заключается в ваших правилах 1 и 2. Поэтому сначала позвольте сделать несколько замечаний относительно вашей первой машины — той, в которой используются только эти два правила. Начнем со следующей простой задачи: можно ли, используя правила 1 и 2, найти два различных числа X и Y, таких, чтобы число X порождало Y, а число Y в свою очередь порождало X?
Крейг и Мак-Каллох тут же занялись этой задачей.
— Ну, конечно, — рассмеялся вдруг Крейг. — Это же очевидно вытекает из того, что совсем недавно показы вал мне Мак-Каллох.
А вы можете найти эти числа?
— Теперь, — сказал Фергюссон, — для любого числа А существуют такие числа X и Y, что X порождает Y, а число Y порождает АХ. Если число А нам задано, то можете ли вы найти числа X и Y? Например, можете ли вы найти такие X и Y, чтобы X порождало Y, а Y порождало 7X?
— Мы все еще пользуемся только правилами 1 и 2 или уже можно применять правила 3 и 4? — спросил Крейг.
— Вам понадобятся только правила 1 и 2, — ответил Фергюссон.
— Я уже нашел решение! — тут же заявил Крейг.
4. — Интересно, — сказал Мак-Каллох, просмотрев решение Крейга. — А у меня решение другое.
Действительно, в этой задаче существует и второе решение. Можете ли вы его найти?
5. — Ну, а теперь, — сказал Фергюссон, — мы добрались до действительно важного свойства. Так, из одних только правил 1 и 2 следует, что для любых чисел А и В существуют такие числа