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