정수해를 가지는 일차 부정방정식: 해가 존재하기 위한 조건