  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\u{a}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.
