>>263
内積の入ったベクトル空間を考える場合は、>>252でGL(n, k) の代わりに
O(n, R) を考えればいい。