Every nonzero finite dimensional inner product space has an orthonormal basis. It makes sense, when you don't think about it.
Every nonzero finite dimensional inner product space has an orthonormal basis. It makes sense, when you don't think about it.