Assuming the Generalized Riemann Hypothesis, Bach has shown that the ideal class group CIK of a number field K can be generated by the prime ideals of K having norm smaller than 12(log |Discriminant(K)|)2 . This result is ...