Exercise 9.6.1
Exercise 9.6.2
Exercise 9.6.3
Exercise 9.6.4
Exercise 9.6.5