 Every nonsingular quadratic form formula_13 over "K" is equivalent to a direct sum formula_16 of nonsingular binary forms.This was shown by Arf, but it had been earlier observed by Dickson in the case of finite fields of characteristic 2.The Arf invariant Arf(formula_13) is defined to be the sum of the Arf invariants of the formula_18.