More unneeded lemmas.