theorem :: XBOOLEAN:113

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