Demonstração. Sabemos que todo espaço de Haussdorff paracompacto é coletivamente normal, e portanto $C_{p}([0,1])$ não só é normal, como também é coletivamente normal. $~~~~~~~~\square$
Veja também: