A structure theorem for polyharmonic maps between Riemannian manifolds

We prove that polyharmonic maps of arbitrary order from complete nonparabolic Riemannian manifolds to arbitrary Riemannian manifolds must be harmonic if certain smallness and integrability conditions hold.