Fix statements of two future lemmas in resolve.tex
Tags: Added new tags