theorem Th103: :: INTPRO_2:102

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