1
The second-raters who proved a lemma or read a draft somewhere along the way.
2
A theorem, perhaps, a lemma or even just a corollary.
3
The mentioning of 'chance' in the lemma and theorems induces a short discussion on randomness.
4
At all events, it is significant that (which might be added as a lemma)
5
We prove a lemma on the ℓ-mers of a random string which might find independent applications.