Reply To: Fermat's Last Theorem – with a grain of salt

A similar problem plagues the famous four color map theorem, proven by Appel and Haken in 1976 using a computer. We await a simple proof that can be checked by hand.