(22)

В (22) все не замененные на тензоры из Yk слагаемые содержат суммы по подмножествам множеств мощностью меньше k . Проводя аналогичную замену получим выражение, содержащее суммы по подмножествам множеств мощностью меньше k- 1 и так далее. После завершения процедуры в выражении останутся только суммы содержащие вектора из Yk , то есть y I

⊗k будет представлен в виде линейной комбинации векторов из Y

k . Теорема доказана.