ChatGPT - Biconditional Equivalence Proof