【初等数论】扩展欧几里得