Proof of Superstring Theory