On Fri, 19 Jan 2001 11:24:12 GMT, "Dik T. Winter" <Dik.Winter@cwi.nl> wrote:
> > I'm looking for something that pushes me outside of integers because > > that's what I want to prove must happen! > >Tsk. Your initial use of sqrt(-1) pushes you out of the integers already.
You misunderstood this statement. He believes that the fact that sqrt(-1) pushes him out of the integers is the contradiction and that the proof can end at that point, just with the factorization. That writing down a statement not in integers, though his first equation was in the integers, is a contradiction.