theorem :: XBOOLEAN:109

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