Prove that in any GCD domain every irreducible element is prime

Clearly $yv = z$ divides $py$, so $py = yvw$. Now canceling $y \ne 0$ tells you that $v \mid p$.

$$z\vert py\Rightarrow yv\vert py\Rightarrow v\vert p$$the last step is due to the cancellation law.