О продолжении действия

Доказана теорема: если $G$ – нульмерная бикомпактная группа, $X$ – метрическое $G$-пространство, $i\colon X/G\hookrightarrow Y$ – замкнутое вложение пространства орбит в метрическое пространство $Y$, то существуют метрическое $G$-пространство $Z$, замкнутое инвариантное вложение $j\colon X\hookrightarrow Z$ и гомеоморфизм $h\colon Y\to Z/G$, такие, что следующая диаграмма коммутативна: $p_z\circ j=h\circ i\circ p_X$.
Библиогр. 8.