theorem Th54: :: FILTER_0:54

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