Somit ist der folgende (starke) maximale Idealsatz (MIT) für boolesche Algebren dem BPI äquivalent:
Das folgende (starke) Boolesche Theorem (MIT) für maximal ideale Algebren ist daher dem BPI gleichwertig: