Stupid question, if your transformation is derived by a markov chain I guess it has special properties right? I guess you either have a transition matrix or a transition kernel which very specific properties that might actually make the proof simple.