Изменения

{{TODO|t=доказать, доказательство есть в Люстернике-Соболеве}}

}}

Определим биективный линейный оператор <tex>T: F \to X</tex> как <tex>T \alpha = \sum\limits_{n=1}^\infty \alpha_n e_n</tex>.