设a,b互质,证明不定方程ax+by=ab-a-b没有非负整数解