theorem PrimFil: :: LATTICEA:4

for L being distributive Lattice holds F_primeSet L c< PFilters L