#  prime(n) gives nth prime number;

prime(x_):=nth_prime(x);