theorem MaxIPrime: :: LATTICEA:18

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