Exercise

See end of Lecture 14.