(∂/∂x1)^adx1_b=δ^a_b成立しますよね?
↑を使うと∇ε=0になりました