positive definite bilinear form