non-degenerate bilinear form