Positive-definite bilinear form