theorem :: XBOOLEAN:115

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