Solution
= Solution
For a zero-trace $\phi$, the curve $u+t\phi$ remains admissible. When $|t|$ is small it is within the weak-minimum neighborhood in $W^{1,\infty}$, so its scalar energy has a minimum at zero. The preceding derivative therefore vanishes. Thus \b[$DI(u)\phi=0$ for every zero-trace variation].