This result is a particular case of R4786: Real conditional covariance partition into conditional moments. $\square$