Worked on proof step backward insert new element