theorem Th67: :: INTPRO_2:66

for X being Subset of MC-wff
for p being Element of MC-wff st p in X holds
X |-_IPC p