Assertion: prime number | /r/CapableOf | divide product
Facets:
Source sentences:
text: it is a product of invertible elements, and therefore invertible); this also follows from the first point by Euclid's lemma, which states that if a prime number p divides a product bc, then p divides at least one of the factors b, c.