Your result is true. It is a generalization of Dirac's Theorem known as [Ore's Theorem][1]. [1]: https://en.m.wikipedia.org/wiki/Ore%27s_theorem