A single axiom for Boolean algebras

We prove that an algebra (L,∧,∨,′) of type (2,2,1) is a Boolean algebra iff (L,∧,∨) is a non empty lattice that satisfies the equation (‡ )(x∧y)∨(x∧y′)=(x∨y)∧(x∨y′).