StormDriver writes "GUI has been with us for years and it went a long, long way since the early days. There were some fairly interesting developments along the way, so we took the time to line them up for you." Link to Original Source
Every nonzero finite dimensional inner product space has an orthonormal basis.
It makes sense, when you don't think about it.