  In this paper we extend methods of Rubin to prove the Gras conjecture for
abelian extensions of a given imaginary quadratic field k and prime numbers p
which divide the number of roots of unity in k.
