Added the definitions of O, o, and theta notations, added a theorem for theta-notation equivalence