Answer:
The correct counterexample is
.
Explanation:
We proceed to demonstrate the validity of given implication by direct demonstration and use of our knowledge in algebra:
1)
Given.
2)
Given.
3)
2) in 1)
4)
Compatibility with addition.
5)
Commutative and associative properties/Definition of subtraction
6)
Existence of additive inverse/Modulative property/Result.
This contradicts what implies the given proposition. The correct counterexample is
.