负整数解有