Hamiltonian Cycle NP-Completeness Theorem