p-adic L-functions and Selmer varieties associated to elliptic curves
with complex multiplication

We show how non-vanishing of p-adic L functions controls the dimensions of
Selmer varieties associated to the complement of the origin in an elliptic
curve with CM. As a corollary, one obtains a \pi_1-proof of the theorem of
Siegel for such curves.