Comment I found it months ago on Google Maps (Score 0, Funny) 152
google has become all powerful, all knowing.
Every nonzero finite dimensional inner product space has an orthonormal basis. It makes sense, when you don't think about it.
