theorem :: XBOOLEAN:114

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