Lemma van Euclides

Het lemma van Euclides is een uitspraak over delers van het product van twee gehele getallen. Het lemma zegt: als van twee gehele getallen a en b het product ab deelbaar is door het priemgetal p, is p in ieder geval deler van een van beide, dus of van a of van b (of van beide). Formeel:

${\displaystyle \forall \,a,b\in \mathbb {Z} :p\ {\text{priem}}\land p|ab\implies p|a\lor p|b.}$

Lemma betekent hulpstelling. Het lemma wordt in het bewijs van de hoofdstelling van de rekenkunde gebruikt. Het lemma is naar de Griekse wiskundige Euclides van Alexandrië, ongeveer 265 - 200 v.Chr., genoemd.