theorem :: YELLOW_7:37

for L being Boolean LATTICE
for x being Element of L holds 'not' (x ~) = 'not' x