Lecture 2013 03 28

Definitely needs another makeover in some places, but I can't continue to work on it right now.

Including the theorem we only stated doesn't make much sense until tomorrow.