Finish a first proof of theorem 1 in Halmos' annihilator section. it's ugly.
Define the standard inner product in R^n
Prove a prop about limit poitns and convergent subsequences
More work on annihilators. Still missing one proof.