theorem Th66: :: INTPRO_2:65

for Y, X being Subset of MC-wff
for p being Element of MC-wff st X |-_IPC p & X c= Y holds
Y |-_IPC p