primality

not defined yet