How To Prove An If And Only If Statement