theorem :: WAYBEL_8:21

for L being lower-bounded arithmetic LATTICE
for p being Element of L st p is pseudoprime holds
p is prime