设a，b.c是三个非零整数，若（a，b）=1，则方程ax＋by=c一定有整数解。