Fermat's last theorem
A famous theorem in number theory, proved by Andrew Wiles in 1995. Used in mathematical contexts.
Fermat's last theorem was proved by Andrew Wiles in 1995.
Named after the French mathematician Pierre de Fermat. The Japanese term is a direct translation of the English 'Fermat's last theorem'.