>>561
計量を( , )でかくと(x,x)>=0で(x,x)=0となるのは、x=0のときのみ。
故に(g[ij])の固有値はすべて正。故に正則。

ということでしょうか？