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