Added relativizing proof. Fleshed out various secions including Turing machines, polynomial time, and languages.
Fixed reference error.
Recompiled.