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 Example 8 For each n,
22
1
n + is a prime (n ∈ N)