Add notes for proof that I need to type up later.
Typo fix.