Prokhorovich, Fermat's theorem


v20240901