Category:Maximal Ideal WRT Filter Complement is Prime in Distributive Lattice