theorem Th36: :: INTPRO_2:35

for p being Element of MC-wff holds |-_IPC FALSUM => p by Th26;