方程存在整数解的条件