Topaz, Fermat's theorem


v20221217