move lemmas to the appropriate position