Note que, se fizermos dessa maneira, estamos usando a regra da cadeia - que já supõe que as derivadas das funções envolvidas já existam. Ou seja, a gente até poderia fazer isso, se já tivéssemos provado a existência da derivada de $f^{-1}$. Do jeito que apresentamos, mostramos o valor e a existência simultaneamente.