who proved Fermat's last theorem