Định lý Hasse–Minkowski