It can be shown that, with conditionals as shown in (9), the transition kernel underlying this Gibbs sampling procedure is Harris ergodic (Neal, 2003).
the procedure is not only correct but also very efficient as we only sample from uniform distributions.