theorem Th51: :: INTPRO_2:50

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