求证.ab为非零自然数,互质,a 大于b.则(a-b)与a互质