theorem Th114: :: INTPRO_2:113

for p, q being Element of MC-wff holds |-_IPC (((p => q) => FALSUM) => FALSUM) => (p => ((q => FALSUM) => FALSUM))