Срезанность узлов как препятствие к диффеоморфности многообразий–2

Мы продолжим обсуждать пару многообразий, построенных в работе Лидмана и Пичирилло. Докажем, что первое из них (многообразие Каваучи) не зависит от узла, по которому оно построено. Также, используя инварианты симплектических многообразий, завершим доказательстао того, что узел восьмёрка не срезан во втором многообразии.