являются базисом Рисса в
тогда и только тогда, когда
натянуто на них и для любой
где
не зависят от (см. предварительные сведения).
Но
и
так что (5.3.1) эквивалентно
Поэтому можем определить
с помощью
Ясно, что
. Это означает, что
являются ортонормированными. С другой стороны, пространство V, натянутое на
определяется формулой