be the square root of 2, so that

, i.e.

. Thus

is an even number, and therefore

must be an even number, because the square of an odd number is odd. Now if