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