Redirecting to Hasse–Minkowski theorem