move some lemmas around