Bondy and Chvátal's theorem. Let be a graph of order and suppose that and are distinct non adjacent vertices such that .
Then is Hamiltonian if and only if is Hamiltonian.