What if the statement you are trying to prove is not true?