Kaplansky's_theorem_on_quadratic_forms loading ...