<human>:  What is the first mathematical proof?
<bot>: The first mathematical proof was Euclid’s proof that the square root of 2 is irrational. Euclid's proof is based on the fact that there is no integer solution to the equation x2 = y2.