Let be a simple graph of order such that, for every pair of distinct non adjacent vertices and , . Then is a Hamiltonian graph.