[en] We carry out the dimensional reduction of the pure gravity sector of Kaluza Klein theories without making truncations of any sort. This generalizes our previous result for the 5-dimensional case to 4+d(>1) dimensions. The effective 4-dimensional action has the structure of an infinite dimensional gauge theory