Positive semidefinite bilinear form