P1082 同余方程 欧几里德与扩展欧几里德算法