Added proposition 3.