Prove Iff Statement