Pseudo-Marginal Exactness Theorem