theorem :: INTPRO_1:14

for X being Subset of MC-wff holds CnIPC (CnIPC X) = CnIPC X