theorem :: XBOOLEAN:111

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