Ensemble Density Operator Theorem