Add PrimeCheck with Fetmat little theorem