Fermat primality test

GPTKB entity