Solution 4.4.13.1.

in-context