Let
and
Because contains all exposure-outcome confounding and is independent of , the exclusion restriction and the law of total expectation give
Likewise,
The no confounder-instrument interaction assumption says is constant. Relevance gives , so the Wald ratio is
the overall average treatment effect.