Prime number definition