theorem Th76: :: INTPRO_2:75

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