Функция имеет угловой предел в точке

, если она имеет предел при стремлении к этой точке вдоль любого угла, образованного двумя хордами окружности, выходящими из

.
Можно считать, что

измеримо ( так как множество тех

, в которых непрерывная функция имеет угловые пределы измеримо...по-моему). Как бы там ни было, пусть

- измеримо.
Мера >0, так как иначе утверждение тривиально.