Antithetic Variance Identity