Changed the title. Miscellaneous corrections and additions to the proofs section
Added more definitions.