Comment Re:Remember kids (Score 1) 371
You didn't have to get that crazy. You could have just gone with a mule.
Every nonzero finite dimensional inner product space has an orthonormal basis. It makes sense, when you don't think about it.