Abstract:
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 $\mathbb P^1\times C$, where $C$ is a hyperelliptic (for $g(C)>1$) curve.