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