본질적으로 꼬여있는 그래프의 특성화를 통해, 로버트슨, 시무어, 토마스는 본질적으로 꼬인 그래프는 항상 본질적으로 걸려있음을 증명했다.
By characterization of intrinsically linked graphs, Robertson, Seymour, and Thomas did prove that an intrinsically knotted graph is always intrinsically linked.