√2 · step 3: so 2 divides a

2 is prime and it divides a², so by the helper (Theorem 1.2) 2 divides a. Write a = 2c.