If And Only If Proof