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

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

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

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

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

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