 Null focusing theorem

For a hypersurface-orthogonal null congruence under the null energy condition, an initially negative expansion ${\theta }_0$ diverges to $-\infty$ within affine distance at most $2/|{\theta }_0|$.