theorem :: XBOOLEAN:26

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