裴蜀定理、扩展欧几里得算法与线性同余方程