Removed theorem, proposition, and definition numbers.

These numbers were generated by LaTeX and do not necessarily correspond
to numbers given in lectures. I've removed them to avoid ambiguity, so
no one thinks these theorem numbers are meaningful to use as references
on assignments.