We're looking for . The data are : , .
We have .
I rewrite it as . Which is equivalent to . Equivalent to . Which means that . As we were looking for , from what we got it's easy to see that . is satisfied.
Now looking at the beginning, we had that . What I'm missing to understand is how my solution works here? If I derivate I won't get the . I'm confused.