Доупорядочиваемость группы формально степенных рядов

Строится пример доупорядочиваемой группы, не являющейся локально разрешимой. Кроме того, показывается, что свободная группа вкладывается в доупорядочиваемую группу. Для этих целей используется группа относительно суперпозиции обратимых формальных степенных рядов с нулевым свободным членом.