数论学习笔记:扩展欧几里得