  We prove that, on average, elliptic curves over Q have finitely many primes p
for which they possess a p-adic point of order p. We include a discussion of
applications to companion forms and the deformation theory of Galois
representations.
