Ley de la expectativa total
Si $\mathbb{E}\big[|X|\big]$ finitos entonces cualquier $Y,\;\mathbb{E}\big[\mathbb{E}[X\mid Y]\big]=\mathbb{E}[X]$
Recuerdo leer esto por primera vez y pensar... sostener, ¿qué?
La prueba es simple, pero me pregunto si hay una razón intuitiva ¿por qué podemos esperar este resultado?