RE: Ancient Fermat's proof?