probable prime

number that satisfies a given necessary condition for primality