Every nonsingular quadratic form q over K is equivalent to a direct sum q = q_1 + \ldots + q_r of nonsingular binary forms.
The Arf invariant is additive; in other words, the Arf invariant of an orthogonal sum of two quadratic forms is the sum of their Arf invariants.