Hasse–Minkowski_theorem loading ...