[math-fun] Question about quadratic forms