方程有整数解的条件