Diagonalization of Polynomial-Time Turing Machines Via Nondeterministic Turing Machine