From the network, Fermat's theorem


v20240901