added proof for proposition 1.9