Según mi libro de Álgebra:
En un retículo (X,∧,∨) distributivo y finito, todo elemento de X se puede escribir, de forma única, salvo el orden, como disyunción de elementos disyuntivamente irreducibles no comparables.
Dado un reticulo acotado (X,≤), llamaremos átomos a los elementos que suceden inmediatamente a Infimo(X).
En un retículo complementario, los únicos elementos disyuntivamente irreducibles distintos de Infimo(X) son los átomos.
En un retículo distributivo, complementario y finito, todo elemento distinto de Infimo(X) se puede escribir de forma única, salvo el orden, como disyunción de átomos.
Al ser un Álgebra de Boole un retículo distributivo, complementario y finito.
-> I es disyunción de todos los átomos. En efecto, como todo elemento se expresa como disyunción de átomos, es menor o igual que la disyunción de todos los átomos, que resultará, por tanto, en el supremo del conjunto.
Y así, resumido:
Si I = A1 ∨ A2 ∨ ... ∨An, se puede escribir I = A1 ∨ (A2 ∨ ... ∨An), sin más que ver que (A2 ∨ ... ∨An) = A1', I = A1 ∨ A1', algo cierto por la propia definición de complementario de un retículo complementario.