Added proof of exercise 4.2 ttfp.