Theorem With variance defined as: V(Y∣X)=E(Y2∣X)−[E(Y∣X)]2 The law of total variance states: V(Y)=E[V(Y∣X)]+V[E(Y∣X)]