my favorite way of proving that the square root of 2 is irrational!