Dirac's theorem on cycles in k-connected graphs