worked on proof of proposition 1.1 and added a drawing