On the resolution of 3-dimensional terminal singularities

We show that there is at most one nonrational exceptional divisor with discrepancy 1 over a three-dimensional terminal point of type cD. If such a divisor exists, then it is birationally isomorphic to the surface ¹ × C, where C is a hyperelliptic (for g(C) > 1) curve.