theorem Th105: :: INTPRO_2:104

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