Positive-definite bilinear form

Summary