Hasse-Minkowski Theorem