Let $X$ be a smooth projective variety over the complex numbers, and $\Delta \subseteq X$ a reduced divisor with normal crossings. We present a slightly simplified proof for the following theorem of Campana and Păun: If some tensor power of the bundle $\Omega_X^1(\log \Delta)$ contains a subsheaf with big determinant, then $(X, \Delta)$ is of log general type. This result is a key step in the recent proof of Viehweg's hyperbolicity conjecture.

Comment: 9 pages. Formatted using epigamath.sty