theorem Th29: :: INTPRO_1:29

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