Bewijs dat er oneindig veel priemgetallen zijn. (Het hier gegeven bewijs is een klassiek voorbeeld van een bewijs uit het ongerijmde. Het is afkomstig van Euklides.)