Proposition 6 proof