Sentence 1: Thus the following ( strong ) maximal ideal theorem ( MIT ) for Boolean algebras is equivalent to BPI :
Sentence 2: The following ( strong ) Boolean Theorem ( MIT ) for maximum ideal algebras is thus equivalent to BPI :
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?