Links for wordfreq-lemma