Yes, that's the jist of it. It mostly comes down to step 7. I would have accepted anything like,
- "You're dividing by 0 in step 7 (of course that's obvious now after fumbling around and I subtracted x from a). What the hell are you doing!? You dork!? I hate you!" or alternatively,
- "In step 7, whenever we divide something by another something, we must stipulate that the other something is not zero. So here we must stipulate that the other something, x - a is not zero, meaning x ≠ a. But if we were to introduce the restriction in step 7 of x ≠ a, then that introduces a contradiction with step 1. Therefore step 7 is not possible. yada yada. ... " Well something of that sort anyway.
I work with mathematically inclined people on a daily basis (engineers, myself being one of them). We've all struggled with this one the first time we saw it. But even with love for math, which we might share, maybe, sometimes rigor is thrown to the wind. Enigmas like this make me appreciate the mathematicians' rigor. We in engineering don't have to deal with this stuff that often. But I love the fact that it happens.
