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