Finished proof of main theorem.