I would include the short proof, but also mention that the lemma appeared before.