Доказательство единственности классического решения первой краевой задачи для одного общего линейного дифференциального уравнения в частных производных для выпуклой ограниченной области

Рассматривается задача типа краевой задачи первого рода для уравнения
$$ \sum_{\vec k,\vec l\in\mathcal E}(-1)^{|l|}D^{(\vec l)}(\alpha_{\vec k\vec l}(x)U^{(\vec k)})=0, $$
которое может быть даже более общим, чем уравнение гипоэллиптического типа. Здесь $\mathcal E$ – выпуклое множество целочисленных неотрицательных векторов $\vec k,\vec l$ такое, что вместе с $\vec k$ к $\mathcal E$ принадлежат проекции $\vec k$ на координатные подпространства любого числа измерений.