命題
L を束(>>156)とする。
L の任意の元 a, b, c に対して
(1)： a∧(b∨c) = (a∧b)∨(a∧c) とする。

このとき、
(2)： a∨(b∧c) = (a∨b)∧(a∨c) となる。

証明
(a∨b)∧(a∨c) = ((a∨b)∧a)∨((a∨b)∧c)　←　(1)
= ((a∧a)∨(b∧a))∨((a∧c)∨(b∧c))　　　　←　(1)
= (a∨(b∧a))∨((a∧c)∨(b∧c))　　　　　　←　冪等律 a∧a = a より
= a∨((a∧c)∨(b∧c))　　　　　　　　　　　←　吸収律 a∨(b∧a) = a より
= (a∨(a∧c))∨(b∧c　　　　　　　　　　　　←　結合律
= a∨(b∧c)　　　　　　　　　　　　　　　　←　吸収律 a∨(a∧c) = a より
証明終