증명의 핵심 트릭: 시간 적분 를 위상 공간 적분 로 바꾸는 것. 이렇게 하면 를 독립변수 의 함수로 쓸 수 있고, 와 라는 자연스러운 편미분이 등장한다.
가 0인 이유를 한 문장으로: 를 전개하면 두 항이 나오는데, 한 항은 변화의 기여()이고 다른 항은 변화의 기여()이며, Step 4의 항등식이 바로 이 둘이 서로 상쇄됨을 보여준다.
위상 공간 그림: 는 위상 공간에서 닫힌 궤도의 면적이다. Liouville 정리는 Hamiltonian flow 아래 위상 공간 면적이 보존된다고 말하지만, 여기서는 가 변하면서 Hamiltonian 자체가 바뀐다. 그럼에도 불구하고 “천천히” 변하는 조건 덕분에 면적이 보존된다 — 이것이 단열 불변성의 핵심이다.