7.6 Why the algorithm works

If the algorithm works :

μμproposaμproposalμ=f(μproposal|y)f(μ|y)