Per tant, el següent teorema d'ideals màxims (fort ) ( MIT ) per a àlgebres booleanes és equivalent a BPI :
El següent (fort) Teorema Booleà ( MIT ) per a àlgebres d'ideals màxims és, per tant, equivalent a BPI :