Journal Journal: This is the entry where I mess stuff up
...so I don't accidentally do it on a more embarrassing one.
...so I don't accidentally do it on a more embarrassing one.
Every nonzero finite dimensional inner product space has an orthonormal basis. It makes sense, when you don't think about it.