theorem Th26: :: INTPRO_2:25

for X being Subset of MC-wff
for p being Element of MC-wff holds X |-_IPC FALSUM => p by INTPRO_1:9;