theorem Th34: :: WAYBEL_7:34

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