theory of quadratic forms