theorem :: XBOOLEAN:1

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