命題
A を一般Boole環(>>5)とする。
任意の a ∈ A に対して a + a = 0 である。

証明
a + a = (a + a)(a + a) = a^2 + a^2 + a^2 + a^2 = a + a + a + a
よって、a + a = 0
証明終