Dirac's theorem