theorem Th22: :: INTPRO_1:22

for p, q, r being Element of MC-wff holds (q => r) => ((p => q) => (p => r)) in IPC-Taut