Порядок примарных слагаемых для виртуальных узлов

Вводится специальный класс жёстких виртуальных узлов. Доказывается, что для всех таких узлов корректным образом определён порядок на множестве примарных слагаемых. Приводится пример, показывающий, что требование жёсткости является существенным.