数论,欧几里得算法