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