Cílem práce je podat jednodušší důkaz následujícího tvrzení. Nechť A je analytická ne-sigma-pórovitá podmnožina lokálně kompaktního prostoru E.
Pak existuje kompaktní ne-sigma-pórovitá podmnožina A.