5. Игра Баше
Параграф предназначен для демонстрации возможности суперкомпилятора совершать шаг математической индукции. Думаю, что сейчас у меня должно это получиться - в начале пользования суперкомпилятором ничего не получалось. Предпосылка - параграф "признаки делимости" - там реально шаг индукции делается.
В начале параграфа будут примеры из поставки суперкомпилятора - превращение общих правил игры Баше в более конкретные для частных случаев.