Existence of hypercyclic algebras in Fréchet algebras

We prove that every separable infinite-dimensional Fréchet algebra $X$ admits a continuous linear operator $T$ supporting a dense invariant hypercyclic algebra, giving an affirmative answer to a question of Bayart, Costa Jr. and Papathanasiou. In fact, every dense countable-dimensional subalgebra $\