非退化双线性型

non-degenerate bilinear form