Изменения

{{Определение

|definition=

Пусть <tex>H</tex> {{---}} сепарабельное. Тогда в <tex> H </tex> существует ортнормированный базис.

|proof=

<tex>\exists A = \{ a_1 \dots a_n \dots \}, \mathrm{Cl} A = H</tex> — счетное всюду плотное.