√2 · step 4: substitute back

Put a = 2c into 2b² = a²: 2b² = 4c², so b² = 2c². Now 2 divides b² — and so, again by the helper, 2 divides b.