Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 24 Nov 1993 21:30:35 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA05005; Wed, 24 Nov 1993 14:20:42 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from panther.cs.byu.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA04998; Wed, 24 Nov 1993 14:20:36 -0700 Received: from localhost by panther.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA27067; Wed, 24 Nov 1993 14:20:03 -0700 To: John Harrison Cc: info-hol@leopard.cs.byu.edu Subject: Re: Easy case of Fermat's Last Theorem In-Reply-To: Your message of Wed, 24 Nov 1993 20:27:18 +0000. <"swan.cl.cam.:268690:931124202746"@cl.cam.ac.uk> Date: Wed, 24 Nov 1993 14:20:01 -0700 From: Phil Windley Message-ID: <"swan.cl.cam.:288820:931124213122"@cl.cam.ac.uk> On Wed, 24 Nov 93 20:27:18 +0000 John Harrison writes +-------------------- | Anyway, I hope this proof is of some interest in itself and provides some | useful theorems for other people working in this area. I'm afraid the proofs | are rather unpolished and the theorems rather illogically named. John, A tour de force. Excellent! --phil--