A,B\in Z_p