This was an early experiment in Perl. You may prefer to see the Complete List of Quotes.

Every nonzero finite dimensional inner product space has an orthonormal basis.

If you would like to propose a quote for inclusion, please contact me.