Let and be random variables with probability densities and respectively. The Tower Law for expectations states:
This the most common way that the theorem is stated, however, to make things more clear, we can make explicit the distributions over
which the expectations are taken:
Proof: