Homotopy idempotents on finite-dimensional complexes split