A mathematical theorem that provides necessary and sufficient conditions for the existence of a Hamiltonian cycle in a connected graph.