Demonstração. Isso decorre diretamente dos fatos de que $C_p(\mathbb{R})$ não é metrizável e a metrizabilidade completa, por definição, necessariamente implica metrizabilidade.