How could a counter example be used in algebraic proof?

A counterexample could be used in algebraic proof if the question asked to disprove: all prime numbers are odd, by saying this statement is false because 2 is a prime number and 2 is even not odd.