Prime ideals of a Boolean ring are maximal (source code)

= Prime ideals of a Boolean ring are maximal

A nonzero Boolean integral domain has only the elements zero and one, so it is $\mathbb F_2$. The quotient criterion then makes every prime quotient of a Boolean ring a field, and every prime ideal maximal.