If , then
.
Let and
.
Case(i):
\ (Expression)
(Substitute
and
)
(Add left side terms)
(Multiply)
(Simplify)
The stament is true.
\Case(ii):
\ (Expression)
(Substitute
and
)
(Add right side terms)
(Multiply)
(Simplify)
The stament is false.
\The counterexample is and
,then
.
The counterexample is and
,then
.