Exercise 4.6.
Exercise 5.1.1 (from Sauer).
Exercise 5.2.1 (from Sauer).
Exercise 5.2.1 Second part (from Sauer).
Exercise 5.2.1 function (from Sauer).
Exercise 5.1.10 (from Sauer).