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