Assume that is Hamiltonian but is not.
Then has a Hamiltonian cycle containing the edge . Thus there exists a path in from to meeting all the vertices of . If is adjacent to () then is not adjacent to , for otherwise
is a Hamiltonian cycle of . Thus , that is , a contradiction