@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr:-P93ST75Z-8
  skos:prefLabel "théorie des nombres"@fr, "number theory"@en ;
  a skos:Concept ;
  skos:narrower psr:-HTNKZF16-P .

psr: a skos:ConceptScheme .
psr:-T0WTK17L-B
  skos:prefLabel "nombre premier"@fr, "prime number"@en ;
  a skos:Concept ;
  skos:related psr:-HTNKZF16-P .

psr:-HTNKZF16-P
  skos:exactMatch <https://en.wikipedia.org/wiki/Euclid%27s_theorem>, <https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_d%27Euclide_sur_les_nombres_premiers> ;
  skos:inScheme psr: ;
  skos:definition """ En arithmétique, le théorème d'Euclide sur les nombres premiers affirme qu'il existe une infinité de nombres premiers. Ce résultat est énoncé et démontré dans les Éléments d'Euclide, c'est la proposition 20 du livre IX. Il y prend cependant une forme différente : « les nombres premiers sont plus nombreux que n'importe quelle multitude de nombres premiers proposée », plus compatible avec la conception de l'infini de l'auteur. D'autres preuves ont ensuite été proposées, notamment par Euler. Des résultats plus fins ont aussi été démontrés comme le théorème des nombres premiers sur la distribution asymptotique des nombres premiers. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_d%27Euclide_sur_les_nombres_premiers">https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_d%27Euclide_sur_les_nombres_premiers</a>)"""@fr, """Euclid's theorem is a fundamental statement in number theory that asserts that there are infinitely many prime numbers. It was first proved by Euclid in his work Elements. There are several proofs of the theorem. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Euclid%27s_theorem">https://en.wikipedia.org/wiki/Euclid%27s_theorem</a>)"""@en ;
  skos:prefLabel "Euclid's theorem"@en, "théorème d'Euclide sur les nombres premiers"@fr ;
  skos:related psr:-T0WTK17L-B ;
  a skos:Concept ;
  skos:broader psr:-P93ST75Z-8 .