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