for L being distributive Lattice
for F being Ideal of L st F is maximal holds
F is prime