Rao-Blackwell Variance Reduction Theorem