text: Из данного следствия можно доказать лемму Евклида, также необходимую для доказательства теоремы: Если p {\displaystyle p} — простое число и произведение двух чисел делится на p {\displaystyle p} , то хотя бы один из двух множителей делится на p {\displaystyle p} .