primality + test done