An identity forRnembedded intoEn+1