Пусть Доказательство Связанные определения/теоремы/следствия/утверждения: Гильбертово пространство ОНС Базис Полная система элементов