Or not. But anyway, I found it interesting, so I'm writing a paper about it for my IB extended essay. For those of you unfamiliar with IB, this is the equivalent of a senior research project.
Every nonzero finite dimensional inner product space has an orthonormal basis. It makes sense, when you don't think about it.