From owner-qed Fri Nov 18 11:05:08 1994
Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id LAA22159 for qed-out; Fri, 18 Nov 1994 11:03:19 -0600
Received: from emu.pmms.cam.ac.uk (root@emu.pmms.cam.ac.uk [131.111.24.1]) by antares.mcs.anl.gov (8.6.4/8.6.4) with SMTP id LAA22154 for <qed@mcs.anl.gov>; Fri, 18 Nov 1994 11:03:10 -0600
Received: by emu.pmms.cam.ac.uk (UK-Smail 3.1.25.1/1); Fri, 18 Nov 94 16:57 GMT
Message-Id: <m0r8Wca-0003UtC@emu.pmms.cam.ac.uk>
Date: Fri, 18 Nov 94 16:57 GMT
From: Thomas Forster <T.Forster@pmms.cam.ac.uk>
To: hoove@oracorp.com, qed@mcs.anl.gov
Subject: Re: The Fermat-Wiles Theorem
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

Hoover is right, and altho' i forget the details, it is a celebrated example.
It's important in the current context.  I free associate to the name ``Coxeter"
fort some reason.  Perhaps others know more than i do ....
      Thomas