Изменения

{{Утверждение

|statement= Пусть <tex> Y </tex> — линейное всюду плотное в <tex> X </tex> множество.

<tex> f </tex> — линейный непрерывный функционал на <tex> Y </tex>. Тогда существует единственный <tex> \widetilde f </tex> — линейный непрерывный функционал на <tex> X </tex> такой, что: