theorem :: XBOOLEAN:106

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