[nsane]

Isn't the proof for Hamiltonian cycles? From what I could understand from your link to CHM92, it only requires a cyclic graph to stop, which isn't necessarily supposed to touch all vertices. Is that right?

[jonnycomputer]

The Hamiltonian cycle is only a motivating example. The conjecture which was proven is much more general.

https://gilkalai.wordpress.com/2022/04/02/amazing-jinyoung-p...