Proof that the square root of 2 is irrational