Biconditional with Contradiction/Proof 1