This morning, I had my usual first cup of coffee, but I'm trying to avoid having the three or four more that I usually do. Maybe it won't be so painful if I wean myself off slowly. So far, so good. We'll see what happens later in the day.
Every nonzero finite dimensional inner product space has an orthonormal basis. It makes sense, when you don't think about it.