Chứng minh rằng nếu xn là một dãy độc lập tuyến tính những phần tử của không gian Hinbe H thì tồn tại một hệ thống trực chuẩn en trong H sao cho
Lin e e Lin x x { ,... }= { ,... } 1 1 m m mọi m.