Definition:

  • Conditional joint distribution’s Variance
  • Conditional variance of given that
    • Hence
    • Also, since , we have
    • Adding the last two equations, we have