Nechť f je spojité zobrazení nula-dimenzionálního metrizovatelného prostoru X na metrizovatelný prostor Y, které zobrazuje obojetné množiny v X na rozložitelné množiny v Y. Dokazujeme, že je-li X úplně metrizovatelný, nebo dědičně Baireův, pak Y má tutéž vlastnost.