On(K) : = {A \epsilon GLn(K) : <XA,YA>= <X.Y>, Her X,Y \epsilon K^(n)}
GLn(K) : = {A \epsilon Mn(K) | Bazı B \epsilon Mn(K) , AB=BA=I }
bu tanımlardan yola çıkarak öncelikle ortogonal grubun gösterilmesi gerekir diye düşündüm. Herhangi X değişkeni için x1 ve x2 aldığımızda ve Y değişkeni için de y1 ve y2 aldığımızda, K için de nxn tipinde matrisleri olan bir A matrisi yazarız. Bunun sonucunda Schwarz eşitsizliğine benzer bir sonuç çıkıyor. Burdan sonrasını bağlayamadım.