The given statement is true. If n^2 is even, then n is even.
The proof that 0.999... = 1 is elementary, using just the mathematical tools of comparison and addition of (finite) decimal numbers.
The Pythagorean Theorem states that the length of the diagonal of a square is equal to the square root of 2. This proof shows that the square root of 2 is irrational.