theorem :: INTPRO_1:67

for T being Subset of MC-wff st T is CPC_theory holds
T is IPC_theory ;