It is proved that for every finite graph H of maximal degree n + 1 greater
than or equal to 3 and every epsilon > 0, there is an integer t(H, epsilon)
such that every finite graph of average degree at least n + epsilon and of
girth st least t(H, epsilon) contains a subdivision of H.