How do you prove an "if and only if" statement?