Euclid IX 21–34 is very probably Pythagorean; it is very simple material ("odd times even is even", "if an odd number measures an even number, then it also measures half of it"), but it is all that is needed to prove that 2 {\displaystyle {\sqrt {2}}} is irrational.
Euclides IX 21—34 é moi probabelmente pitagórico; é un material moi simple ("impar por par é par", "se un número impar divide a un número par entón tamén divide á metade deste"), pero é todo o que se necesita para probar que 2 {\displaystyle \scriptstyle {\sqrt {2}}} é irracional.