Class groups of real cyclotomic fields

We prove that every finite abelian group G occurs as a subgroup of the class group of infinitely many real cyclotomic fields.