Solution 15.1a