Solution
= Solution
If both outcome models are correct, each residual term in the preceding conditional expectations has mean zero regardless of the working propensity model. Thus $\widetilde\mu_z^{\mathrm{dr}}(X)=\mu_z(X)$ for $z=0,1$, and their difference is again $\tau(X)$. This proves <double robustness>.