Converse of this theorem is an consequence of cellular homology, and the fact that every free module is projective.
Theorem: Let X be an aspherical n-dimensional CW complex with π1(X) = G, then cdZ(G) ≤ n.