Slice Sampling Invariance Theorem