Rearrange lemmas around the different files