Euclid's lemma

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo integers
gptkbp:category elementary number theory
gptkbp:field number theory
gptkbp:firstAppearance gptkb:Euclid's_Elements
gptkbp:generalizes gptkb:Gauss's_lemma
https://www.w3.org/2000/01/rdf-schema#label Euclid's lemma
gptkbp:namedAfter gptkb:Euclid
gptkbp:relatedTo prime numbers
gptkbp:state If a prime p divides the product ab, then p divides a or p divides b
gptkbp:usedIn proof of the fundamental theorem of arithmetic
gptkbp:bfsParent gptkb:Euclid_of_Alexandria
gptkbp:bfsLayer 7