This is of the form
p ⇒ q, where, p is 2x1+ 5 = 2x2 + 5 and q : x1  = x2 We have proved this in Example 2
of “direct method” We can also prove the same by using contrapositive of the statement Now
contrapositive of this statement is ~ q ⇒ ~ p, i