for L being distributive bounded Lattice holds
( L is Boolean iff for I being Ideal of L st I is proper & I is prime holds
I is maximal )