theorem :: XBOOLEAN:117

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