Add PrimeCheck with Fermat little theorem