Rejection Sampling Correctness Theorem