In such a situation,  it is beneficial, if we find an example to falsify the statement The example to disprove the statement is called a counter example Since the disproof
of a proposition p ⇒ q is merely a proof of the proposition ~ (p ⇒ q) Hence, this is
also a method of proof