“…It remains to show that - Suppose the process (h; n 2 0 ) is ~5-recurrent on W (strongly recurrent) but not necessarily stationary. Then, by Theorem 5.3 in [18], the pair process ((s,, &); n 2 0 ) is wecurrent on pd-' x W. If we assume that the invariant set C x Q is not decomposable into a cycle (see, e.g., [19]), then the process ((s,, L), n 2 0 ) w i l l converge weakly to its stationary solution ((S,, k); n 2 0 ) in the sense that, for all B E B ([pd-' x v), the Bore1 sets on the path space of the pair process, and with v denoting any initial distribution on pd-' X W, where P, and Pn denote the probabilities obtained with initial distributions v and n, respectively (see Proposition 7.12 in [lo]). Hence, by Theorem 2.1, the process ((x,, &, ) ; n 2 0 ) = ((sn l x,, I, tn); n 2 0 ) will converge weakly to ( (sneL, Cn); n 2 0) 1.…”