Ukazujeme, že metrizovatelný prostor Y je úplně metrizovatelný, pokud existuje spojité surjektivní zobrazení f, které zobrazuje otevřené (obojetné) podmnožiny (0-dimenzionálního parakompaktního) čechovsky úplného prostoru X na rozložitelné množiny v Y.