Adds back link to lemma