Proof by contradiction/Square root of 2 and Euclid/Introduction/Section