theorem :: XBOOLEAN:13

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