О точках непрерывности полунепрерывных многозначных отображений

Доказано, что полунепрерывное сверху бикомпактнозначное отображение бэровского пространства в пространство с $G_\delta^*$-диагональю или в пространство с $\sigma$-локально конечной замкнутой $p$-сетью имеет всюду плотное $G_\delta$-множество точек непрерывности.
Библиогр. 4.