Corollary 1.5.5. Assuming that:

  • φ a proposition

Then ⊢CPCφ if and only if ⊢IPCφN.