theorem Th68: :: INTPRO_1:68

for X being Subset of MC-wff holds CnIPC X c= CnCPC X