theorem :: XBOOLEAN:105

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