Theorem

With variance defined as: The law of total variance states: