It is not true that every program that takes exponential time on a deterministic machine can be made to run in polynomial time on a nondeterministic machine, and good examples of this are any program where the output size is exponential in the input size. 