I'm having trouble proving this theorem:
For any ideal I of a Boolean algebra B, the following are equivalent:
I is a prime ideal.
I is a maximal proper ideal, i.e. for any proper ideal J, if I is contained in J then I = J.
For every element a of B, I contains exactly one of {a, ¬a}.