Closely related is the law of total expectation: https://en.wikipedia.org/wiki/Law_of_total_expectation
It states that E[E[X|Y]]=E[X].
Closely related is the law of total expectation: https://en.wikipedia.org/wiki/Law_of_total_expectation
It states that E[E[X|Y]]=E[X].