Fix references in proofs/lemmas.