In fact, we will see in Section
3.2
that in the variable coefficient case, smoothness of the symmetrizer in
is
required.