Positive-definite quadratic form

Summary