Corollary 1.5.6. CPC is inconsistent if and only if IPC is inconsistent.