что (снова компактное) множество
все еще содержится в
Тогда для
и всех гармонических функций
в силу определяющего их свойства имеем
откуда
Поскольку непрерывные линейные формы
определяемые для всех
формулой
содержатся в поляре окрестности нуля
формула
определяет положительную меру Радона
на
такую, что
Следовательно,
в силу 4.1.5 ядерно.