rejection sampling proof