Let $X$ be a Frechet space and let $Y\subseteq X$ such that $\overline{\operatorname{span}(Y)}=X$. It seems intuitive to me that $\operatorname{int}(\overline{co(Y)})$ is a non-empty open subset of $X$. But how to show this?