A factorization of metric spaces

We first prove that for every metrizable space $X$, for every closed subset $F\hphantom{i}$ whose complement is zero-dimensional, the space $X$ can be embedded as a closed subset into a product of the closed subset $F$ and a metrizable zero-dimensional sp