Rank inequality for a composition (source code)

= Rank inequality for a composition
{wiki}

For maps through a finite-dimensional intermediate space V, rank(alpha beta) is at least rank(alpha)+rank(beta)-dim(V).