Solution 8.1a