theorem MaxPrime: :: LATTICEA:17

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