theorem :: XBOOLEAN:107

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