Exercises 3.6 and 3.7

Question: why didn't I have to mention the use of Funext ?