theorem Th49: :: INTPRO_2:48

for X being Subset of MC-wff
for p being Element of MC-wff holds X |-_IPC p => p