theorem :: XBOOLEAN:14

for p, q being boolean object holds p '&' (p => q) = p '&' q