第四节 同余关系与商代数(续) 北京大学计算机系离散数学讲义