线性同余方程求最小非负整数解的模板（数论-扩展欧几里得算法）