этот конус. Множество функций, равных в точке есть гиперплоскость, и ясно, что пересечение В конуса с этой гиперплоскостью является компактным и метризуемым базисом.
Следовательно, всякая гармоническая функция на равная 1 в т. е. всякая точка из В, является центром тяжести единственной единичной положительной меры на В, существенным носителем которой является множество экстремальных элементов, т. е. минимальных функций, равных 1 в
Так как для всех отображение линейно и непрерывно, имеем
Поскольку также является мерой на замыкании в В множества экстремальных элементов, т. е. на некотором компактном множестве, гомеоморфном части А, ее можно отождествить с мерой на А, существенным носителем которой является множество минимальных точек. Отсюда получается результат Мартина: