Remove redundant lemma.

Proof got much bigger for some reason, which doesn't make much
sense. Need to investigate.