A counterexample is an example which is used to prove that a statement is false.
For instance, to disprove that the statement “For all , is prime.”, one could exhibit as a counterexample; since , the statement is false.