Do these mean the same?
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 :

Select from the following.
(a). no;
(b). yes;
(a).