Тривиальность функции $\omega_2$ для пространственных вложений полных графов

Пусть $G_n$ — полный пространственный граф с $n$ вершинами. В 1983 г. Дж. Конвей и К. Гордон ввели функцию $\omega_2$ для всех таких графов с шестью вершинами. Они доказали, что $\omega_2(G_6) = 1$ для любого полного пространственного графа $G_6$, и, следовательно, любой такой граф содержит нетривиальное зацепление. В настоящей работе мы доказываем, что $\omega_2(G_n) = 0$ для любого полного пространственного графа $G_n$ с $n\geqslant 7$ вершинами.