Hasse–Minkowski theorem
The Hasse–Minkowski theorem is a fundamental result in number theory which states that two quadratic forms over a number field are equivalent if and only if they are equivalent locally at all places, i.e. equivalent over every topological completion of the field (which may be real, complex, or p-adic).