当a,b不同时等于0,证明ax+by=c有无数正整数解