## Boolean prime ideal theorem

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}.