Category:Conditional Expectation Unchanged on Conditioning on Independent Sigma-Algebra