theorem :: BINARITH:9

for x being boolean object holds x '&' x = x ;