If a simple graph with vertices, and if for each pair of non-adjacent vertices and , then is Hamiltonian. If any of the conditions in Oreβs Theorem are not satisfied, it doesnβt mean that the graph is not Hamiltonian.