theorem Th75: :: INTPRO_1:75

for T being Subset of MC-wff holds
( T is CPC_theory iff CnCPC T = T )