Exercise 19, § 6

Let $X$ be a lattice which has a least element. Show that if every prefilter on $X$ is the intersection of the prime prefilters which contain it, then $X$ is distributive (if the mapping $x \to A_x$ is defined as in Exercise 18 d), this mapping still has the properties stated there.