Instead of a proof by contradiction, Euclid's proof shows that every finite list has a particular property.
Уместо свођења на контрадикцију, Еуклидов доказ показује да сваки коначни скуп има наведено својство.