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