SMS dit: Proof of Komlós's conjecture on Hamiltonian subsets