for L being LATTICE
for p being Element of L st p is prime holds
p is pseudoprime