Theorem

• Implicit Function Theorem
• Law of iterated expectations