Proving that the square root of two is irrational
so a^2 is even, so a is even.
