Как показать, что любой псевдодифференциальный оператор

,

может быть продолжен с сохранением непрерывности до компактного оператора из

? Здесь

это область в

.
Понятно, почему до такого линейного непрерывного оператора можно продолжить, но вот как показать его компактность...