 In that case, the discriminant takes values in "F"*/("F"*)2, which can be identified with "H"1("F", F2) by Kummer theory.If the field "K" is perfect, then every nonsingular quadratic form over "K" is uniquely determined (up to equivalence) by its dimension and its Arf invariant.In particular, this holds over the field F2.