PropertyValue
rdf:type
rdfs:label
  • Euclid's lemma
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Euclid's lemma
skos:altLabel
  • Euclid's first theorem
  • generalization of Euclid's lemma