These are extremely unhelpful names for lemmas, and they do not seem to be commented either.