Example of primality testing