模P同余相关论文