Dirac's theorem on Hamiltonian cycles