The law of total expectation is a corollary to the [[Law of Total Probability]]. $E(X) = E(X|A)P(A) + E(X|A^c)P(A^c)$