lucas primality test