Remove some unused lemmata.