Show that $|)|=y_0^{{?}^{?}}y0|(|$ Multi$2|)=x*y_0|(|$ is valid, where Multi$2$ is:

$)(0\}$

$z=z+x$;

$y=y-1$

$\{$