Notes on Exercises E12.3 and E12.4