It is shown that the operad maps E_n→E_{n+k} are formal over the reals for k≥2 and non-formal for k=1. Furthermore we compute the cohomology of the deformation complex of the operad maps E_n→E_{n+1}, proving an algebraic version of the Schoenflies theorem.
