Proposition 3.5