a,b对于模m同余的问题 基本概念的问题