Elliptic curves over ${\mathbb{Q}}_{\mathrm{\infty }}$ are modular

We show that if p is a prime, then all elliptic curves defined over the cyclotomic Z_p extension of Q are modular.