Describir: Proof of Komlós's conjecture on Hamiltonian subsets