数学基础-模运算性质应用