为什么X+2Y=4不可能有负整数解呢?