√2 · step 5: the crash

Now a and b are both even — they share the factor 2. But we said they share no common factor. Contradiction.