Hasse-Minkowski theorem代写