ABSTRACT

(See also exercise 15.4.)