where cd(π) denotes the cohomological dimension of a group π and hd(X) denotes the homotopy dimension of X. Furthermore, there is a well-known inequality of Grossman, [G]:We make a synthesis and generalization of both of these results, by demonstrating the main result:The proof of the main theorem uses the Oprea-Strom inequality cat X ≤ hd(Bπ 1 (X))+cat 1 X, [OS] where cat 1 is the Clapp-Puppe cat A with A the class of 1-dimensional CW complexes. The inequality clarified the Dranishnikov inequality.