theorem Th33: :: WAYBEL_7:33

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