ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3277 on R4783:

P3277

This result is a particular case of R2367: Law of total variance. $\square$