Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! owner-qed@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Fri, 18 Nov 1994 17:08:57 +0000
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