Gibbs Sampler Invariance Theorem