Question about Thm 3.4.2 in Brian Hall's book in Lie Algebras

52 Views Asked by At

enter image description here

My question is regarding the blue highlighted sentence. How does the calculation show that the derivative is the identity though? Shouldn't it be that if $X, Y = 0$, we have $\frac{d}{dt} \Phi(tX, 0)|_{t=0}=0$ instead?