La dimensión del espacio cuña k-ésimo para un módulo libre de dimensión "n" es () = "n"!/("k"!("n"-"k")!).