“一组同余方程有解的充要条件是两两方程构成的方程组有解”这个该怎么证明