Overview Proposition 5 proof