for L being lower-bounded distributive continuous LATTICE st ( for p being Element of L st p is pseudoprime holds
p is prime ) holds
L -waybelow is multiplicative