Das folgende (starke) Boolesche Theorem (MIT) für maximal ideale Algebren ist daher dem BPI gleichwertig:
Somit entspricht der folgende (starke) Boolesche Satz (MIT) für die maximalen idealen Algebren dem BPI: