Demonstração. Desde que $C_{p}([0,1])$ é Lindelöf e regular, por MICHAEL [3] temos que é paracompacto. $~~~~~~\square$