高斯淘汰法说的是什么?怎么用它来求解同余式方程?