Hasse-Minkowski theorem