A possible solution is writing before your lemma a sentence like the following: "The following result is easy and probably already known, however we include a proof for convenience of the reader."
Salvatore Siciliano
- 5.9k
- 26
- 41