(扩展)欧几里德算法