If both outcome models are correct, each residual term in the preceding conditional expectations has mean zero regardless of the working propensity model. Thus for , and their difference is again . This proves double robustness.