Title: Proposition 2.5