y\equiv z\cdot x\pmod p