for L being Lattice
for F being Filter of L st L is distributive holds
latt F is distributive