Thus the following ( strong ) maximal ideal theorem ( MIT ) for Boolean algebras is equivalent to BPI :
The following ( strong ) Boolean Theorem ( MIT ) for maximum ideal algebras is thus equivalent to BPI :