用矩阵的初等变换给出了同余方程有解的充分与必要条件的新的证明，而且在这个证明中提供了求解的方法。
李鹤年,凌鄂生.解同余方程a1x1＋a2X2＋…＋a_nx_n≡b（modm）[J].华东交通大学学报,1994,11(4):72-78..[J]. JOURNAL OF EAST CHINA JIAOTONG UNIVERSTTY,1994,11(4):72-78