Equivalence of Nondeterministic Polynomial Time and Polynomial-Time Verification