Por lo tanto, el siguiente teorema ideal máximo (fuerte) (MIT) para las álgebras booleanas es equivalente a BPI:
El siguiente Teorema Booleano (fuerte) (MIT) para las álgebras ideales máximas es, por lo tanto, equivalente a BPI: