Added page references for lemmas.