(Biorthogonality) The collection of functions
is "biorthogonal" to the collection
is inner product defined by context
product for applications of this section).
(Linear independence from
be a collection of functions. If there is a biorthogonal collection
are linearly independent.
Assume existence of numbers