https://en.wikipedia.org/wiki/Definite_quadratic_form
https://www.math.utah.edu/~zwick/Classes/Fall2012_2270/Lectures/Lecture33_with_Examples.pdf