Deriving the Intertemporal Budget Constraint (Detailed)