Solution to Exercise 3.1 and two preparing lemmas added.
Merge pull request #445 from marcbezem/master

Solution to Exercise 3.1 and two preparing lemmas added.
Merge remote-tracking branch 'upstream/master'