Modifica la frase següent sense que canviï el significat original:
El següent (fort) Teorema Booleà ( MIT ) per a àlgebres d'ideals màxims és, per tant, equivalent a BPI :
Per tant, el següent teorema booleà (fort) per a àlgebres d'ideals màxims és equivalent a BPI :