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