assuming an exponent is known that removes all factors <= b from the order of an ideal class, what is the probability that the order of one ideal class is a multiple of the order of some other ideal class in the same group?