Deterministic Polynomial Time Is Contained in Nondeterministic Polynomial Time