证明 r = nA mod B 遍历B的完全剩余系,A,B互素