diff --git a/Lectures/5_Semester/Functional_Analysis/2023_Konovalov/lectures/9lecture.tex b/Lectures/5_Semester/Functional_Analysis/2023_Konovalov/lectures/9lecture.tex
index 46e9805a..099d7c03 100644
--- a/Lectures/5_Semester/Functional_Analysis/2023_Konovalov/lectures/9lecture.tex
+++ b/Lectures/5_Semester/Functional_Analysis/2023_Konovalov/lectures/9lecture.tex
@@ -67,11 +67,11 @@
 \end{proof}
 
 \begin{theorem}
-	Пусть $H$ --- сепарабельное гильбертово пространство. Тогда в $H$ существует ортонормированный базис.
+	Пусть $H$ --- бесконечномерное сепарабельное гильбертово пространство. Тогда в $H$ существует ортонормированный базис.
 \end{theorem}
 
 \begin{note}
-	Должно быть очевидно, что, если в $H$ есть счётный базис, то $H$ --- сепарабельно.
+	Должно быть очевидно, что, если в $H$ есть не более чем счётный базис, то $H$ --- сепарабельно.
 \end{note}
 
 \begin{proof}