changed proposition 2 proof