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 :
Teorem Boolean (MIT) berikut untuk algebra ideal maksimum adalah bersamaan dengan BPI: Oleh itu, teorem Boolean (MIT) berikut untuk algebra ideal maksima adalah bersamaan dengan BPI: