theorem Th15: :: INTPRO_1:15

for T being Subset of MC-wff holds
( T is IPC_theory iff CnIPC T = T )