E_n-regularity implies E_(n-1)-regularity